Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.

Mikhail J. Moiseev

Published in: SERENE (2013)

Keyphrases

static analysis
defect detection
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
feature extraction
malicious code
java card
regular expressions
automated visual inspection
multi user
textured surfaces
case study
test data generation