VFQL: combinational static analysis as query language.
Guang ChenYuexing WangMin ZhouJiaguang SunPublished in: ISSTA (2019)
Keyphrases
- static analysis
- query language
- regular expressions
- dynamic analysis
- data model
- symbolic execution
- java card
- source code
- query evaluation
- relational algebra
- object oriented
- malicious code
- database
- test generation
- recursive queries
- xml data
- asynchronous circuits
- pattern matching
- conceptual model
- data integration
- structured documents
- relational databases
- database systems