Static Analysis for Detecting High-Level Races in RTOS Kernels.

Abhishek Singh Rekha Pai Deepak D'Souza Meenakshi D'Souza

Published in: FM (2019)

Keyphrases

static analysis
high level
source code
dynamic analysis
low level
malicious code
symbolic execution
regular expressions
abstract interpretation
support vector
kernel methods
java card
kernel function
open source
programming language
feature space
conceptual model
test generation
database
artificial intelligence