Several lifted abstract domains for static analysis of numerical program families.

Aleksandar S. Dimovski Sven Apel Axel Legay

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

Keyphrases

static analysis
dynamic analysis
abstract interpretation
symbolic execution
source code
java card
malicious code
probabilistic inference
regular expressions
open source
test suite
cd rom
data mining
low level
training data
high level
case study