Towards the Integration of Symbolic and Numerical Static Analysis.

Published in: VSTTE (2005)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
java card
malicious code
symbolic execution
symbolic data
abstract interpretation
data integration
numerical data
symbolic representation
data sets
object oriented databases
feature space
high level
databases