Static analysis for dummies: experiencing LiSA.
Pietro FerraraLuca NegriniVincenzo ArceriAgostino CortesiPublished in: SOAP@PLDI (2021)
Keyphrases
- static analysis
- cd rom
- dynamic analysis
- source code
- microsoft business intelligence
- symbolic execution
- malicious code
- search engine optimization
- database development
- test generation
- job search
- abstract interpretation
- web searching
- java card
- online resources
- regular expressions
- test suite
- visual basic
- database systems