Chucky: exposing missing checks in source code for vulnerability discovery.
Fabian YamaguchiChristian WressneggerHugo GasconKonrad RieckPublished in: CCS (2013)
Keyphrases
- source code
- open source
- software systems
- open source software
- software projects
- software maintenance
- static analysis
- high level
- software repositories
- mining software repositories
- software evolution
- impact analysis
- manual inspection
- change impact analysis
- execution traces
- linux kernel
- symbolic execution
- program understanding
- program comprehension
- version control
- free software
- legacy systems
- source files
- programming course
- software engineers