Canary: practical static detection of inter-thread value-flow bugs
Yuandao Cai, Peisen Yao, Charles Zhang · 2021
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.