Canary: practical static detection of inter-thread value-flow bugs.
Yuandao CaiPeisen YaoCharles ZhangPublished in: PLDI (2021)
Keyphrases
- automatic detection
- detection accuracy
- detection algorithm
- real world
- object detection
- detection method
- detection rate
- false alarms
- change detection
- information systems
- object recognition
- source code
- event detection
- automated detection
- data sets
- root cause
- software projects
- anomaly detection
- case study
- genetic algorithm
- databases