Formulog: Datalog for SMT-Based Static Analysis (Extended Version).

Aaron Bembenek Michael Greenberg Stephen Chong

Published in: CoRR (2020)

Keyphrases

static analysis
dynamic analysis
source code
expressive power
test generation
malicious code
symbolic execution
java card
query answering
deductive databases
regular expressions
abstract interpretation
specification language
test suite
artificial intelligence
logic programming
open source
query language
case study