Extraction of Embedded Queries via Static Analysis of Host Code.
Petros ManousisApostolos V. ZarrasPanos VassiliadisGeorge PapastefanatosPublished in: CAiSE (2017)
Keyphrases
- static analysis
- source code
- malicious code
- dynamic analysis
- query language
- java card
- query processing
- regular expressions
- symbolic execution
- abstract interpretation
- web search engines
- database
- user queries
- embedded systems
- query evaluation
- open source
- database systems
- case study
- test suite
- pattern matching
- high level
- data sets