Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.
Rigel GjomemoPhu H. PhungEdmund BallouKedar S. NamjoshiV. N. VenkatakrishnanLenore D. ZuckPublished in: QRS (2016)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- java card
- malicious code
- test generation
- programming language
- error rate
- regular expressions
- information loss
- abstract interpretation
- open source
- end users
- database systems
- databases
- countermeasures
- software systems
- application programming interface
- database