Static analysis in datalog extensions.
Alon Y. HalevyInderpal Singh MumickYehoshua SagivOded ShmueliPublished in: J. ACM (2001)
Keyphrases
- static analysis
- dynamic analysis
- source code
- expressive power
- java card
- query answering
- query language
- malicious code
- symbolic execution
- datalog programs
- deductive databases
- regular expressions
- test generation
- abstract interpretation
- test suite
- transitive closure
- integrity constraints
- logic programming
- relational algebra
- domain knowledge
- relational calculus
- databases
- real world