Lifted static analysis using a binary decision diagram abstract domain.

Aleksandar S. Dimovski

Published in: GPCE (2019)

Keyphrases

static analysis
dynamic analysis
binary decision diagrams
abstract interpretation
source code
regular expressions
domain specific
domain independent
knowledge compilation
data sets
artificial intelligence
case study
domain ontology
reverse engineering
test suite