On implementational variations in static analysis tools.

Tukaram Muske Prasad Bokil

Published in: SANER (2015)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
symbolic execution
abstract interpretation
test generation
test suite
case study
data sets
decision trees
high level
programming language
regular expressions