CoBOT: static C/C++ bug detection in the presence of incomplete code.
Qing GaoSen MaSihao ShaoYulei SuiGuoliang ZhaoLuyao MaXiao MaFuyao DuanXiao DengShikun ZhangXianglong ChenPublished in: ICPC (2018)
Keyphrases
- source code
- reliable detection
- object detection
- dynamic analysis
- static analysis
- detection accuracy
- detection method
- detection algorithm
- automatic detection
- false positives
- real world
- detection scheme
- anomaly detection
- detection rate
- information systems
- software development
- operating system
- medical images
- missing data
- object recognition
- change detection
- bayesian networks
- database systems
- high level
- error correcting
- data mining