Static analysis of linear absolute value equalities among variables of a program.

Liqian Chen Dengping Wei Banghu Yin Ji Wang

Published in: Sci. Comput. Program. (2023)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
linear inequalities
malicious code
java card
abstract interpretation
linear functions
test generation
regular expressions
test suite
variable selection
software engineering
function symbols
domain knowledge
database systems
case study