Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
Bo ChenZhenkun YangLi LeiKai CongFei XiePublished in: SANER (2020)
Keyphrases
- linux kernel
- source code
- software systems
- operating system
- software components
- software evolution
- detection rate
- automated analysis
- automatic detection
- object detection
- semi automated
- building blocks
- detection algorithm
- clone detection
- detection accuracy
- detection method
- false alarms
- third party
- false positives
- open source
- fully automated
- software projects
- databases
- software maintenance
- anomaly detection
- analysis tool
- software engineering
- cooperative
- web services