SAND: a static analysis approach for detecting SQL antipatterns.
Yingjun LyuSasha VolokhWilliam G. J. HalfondOmer TrippPublished in: ISSTA (2021)
Keyphrases
- static analysis
- dynamic analysis
- source code
- relational databases
- symbolic execution
- query language
- sql queries
- databases
- database
- malicious code
- relational model
- regular expressions
- test suite
- test generation
- java card
- data types
- database language
- reverse engineering
- database queries
- cd rom
- database design
- relational database systems
- high level
- decision trees
- abstract interpretation