UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.
Yizhuo ZhaiYu HaoHang ZhangDaimeng WangChengyu SongZhiyun QianMohsen LesaniSrikanth V. KrishnamurthyPaul YuPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- detection method
- highly accurate
- preprocessing
- high precision
- computational cost
- experimental evaluation
- similarity measure
- objective function
- significant improvement
- high accuracy
- clustering method
- linux kernel
- machine learning
- distance function
- detection algorithm
- operating system
- source code
- software engineering
- dynamic programming
- evolutionary algorithm
- cooperative