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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: Dongwen Zhang, Penghao Qi, Yang Zhang
Formato: Artigo
Idioma:Inglês
Publicado em: IEEE 2021-01-01
Colecção:IEEE Access
Assuntos:
Concurrency bugs
channel
WaitGroup
static analysis
pushdown automaton
Acesso em linha:https://ieeexplore.ieee.org/document/9550776/
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados