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...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Dongwen Zhang, Penghao Qi, Yang Zhang
Médium: Artigo
Jazyk:Inglês
Vydáno: IEEE 2021-01-01
Edice:IEEE Access
Témata:
Concurrency bugs
channel
WaitGroup
static analysis
pushdown automaton
On-line přístup:https://ieeexplore.ieee.org/document/9550776/
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky