Login / Signup
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.
Jia-Ju Bai
Julia Lawall
Qiu-Liang Chen
Shi-Min Hu
Published in:
USENIX Annual Technical Conference (2019)
Keyphrases
</>
static analysis
source code
dynamic analysis
java card
symbolic execution
malicious code
operating system
regular expressions
open source
case study
database systems
test cases