FormuLog: Datalog for static analysis involving logical formulae.
Aaron BembenekStephen ChongPublished in: CoRR (2018)
Keyphrases
- static analysis
- dynamic analysis
- source code
- relational query languages
- expressive power
- query language
- symbolic execution
- malicious code
- regular expressions
- test generation
- deductive databases
- query answering
- java card
- test suite
- artificial intelligence
- transitive closure
- integrity constraints
- error rate
- logic programming
- datalog programs
- relational databases