Canary: practical static detection of inter-thread value-flow bugs
Yuandao Cai, Peisen Yao, Charles Zhang
Abstract
Concurrent programs are still prone to bugs arising from the subtle interleavings of threads. Traditional static analysis for concurrent programs, such as data-flow analysis and symbolic execution, has to explicitly explore redundant control states, leading to prohibitive computational complexity.
Topics & Concepts
Thread (computing)Computer scienceControl flowStatic analysisParallel computingSymbolic executionProgramming languageConcurrencyConcurrent computingSoftware bugData flow diagramDistributed computingSoftwareDatabaseParallel Computing and Optimization TechniquesDistributed systems and fault toleranceSecurity and Verification in Computing