Formulog: Datalog for SMT-based static analysis.
Aaron BembenekMichael GreenbergStephen ChongPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- static analysis
- expressive power
- deductive databases
- dynamic analysis
- query answering
- source code
- query language
- statistical machine translation
- regular expressions
- datalog programs
- integrity constraints
- malicious code
- java card
- symbolic execution
- logic programming
- test generation
- abstract interpretation
- databases
- data model
- database
- test suite
- machine translation
- open source
- artificial intelligence
- function free horn