A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions.

Niels Dossche Bert Abrath Bart Coppens

Published in: CoRR (2024)

Keyphrases

context sensitive
static analysis
dynamic analysis
source code
natural language
regular expressions
multiple task learning
language model
context free
multiword
information retrieval
kernel methods
error rate
test suite
support vector
graph grammars
spelling correction