Login / Signup
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.
Jian Liu
Lin Yi
Weiteng Chen
Chengyu Song
Zhiyun Qian
Qiuping Yi
Published in:
USENIX Security Symposium (2022)
Keyphrases
</>
linux kernel
symbolic execution
source code
static analysis
software systems
open source
clone detection
operating system
test data generation
test generation
software projects
software evolution
high level
specification language
software maintenance
databases
analysis tool
training data
case study
genetic algorithm