A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers.

Takeshi Yoshimura Kenji Kono

Published in: J. Inf. Process. (2016)

Keyphrases

static analysis
dynamic analysis
source code
open source
operating system
regular expressions
malicious code
java card
fault detection
test suite
abstract interpretation
databases
artificial intelligence
database applications
symbolic execution