Static Analysis of Linear Congruence Equalities among Variables of a Program.

Philippe Granger

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
linear inequalities
java card
malicious code
regular expressions
abstract interpretation
test generation
data sets
continuous variables
software engineering
data model
linear functions
database systems
databases
test case generation