GoDetector: Detecting Concurrent Bug in Go

Go provides a new concurrency mechanism based on message-passing, which brings a series of new concurrency bugs. The existing tools are highly dependent on model-checking methods in which they take the source program as the input of model-checking tools to detect the potential concurrent bugs. Howev...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autori principali: Dongwen Zhang, Penghao Qi, Yang Zhang
Natura: Artigo
Lingua:Inglês
Pubblicazione: IEEE 2021-01-01
Serie:IEEE Access
Soggetti:
Concurrency bugs
channel
WaitGroup
static analysis
pushdown automaton
Accesso online:https://ieeexplore.ieee.org/document/9550776/
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi