Login / Signup
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.
Jia-Ju Bai
Yu-Ping Wang
Julia Lawall
Shi-Min Hu
Published in:
USENIX Annual Technical Conference (2018)
Keyphrases
</>
static analysis
source code
dynamic analysis
malicious code
context aware
java card
training data
test generation
symbolic execution
abstract interpretation
open source
contextual information