Would static analysis tools help developers with code reviews?
Sebastiano PanichellaVenera ArnaoudovaMassimiliano Di PentaGiuliano AntoniolPublished in: SANER (2015)
Keyphrases
- static analysis
- source code
- malicious code
- dynamic analysis
- open source
- software systems
- symbolic execution
- software repositories
- linux kernel
- software developers
- software projects
- java card
- end users
- object oriented systems
- software maintenance
- regular expressions
- abstract interpretation
- test suite
- test generation
- third party
- building blocks
- software development
- data model
- databases