Property templates for checking source code security.
Elizabeth I. LeonardMyla M. ArcherConstance L. HeitmeyerPublished in: MEMOCODE (2017)
Keyphrases
- source code
- open source
- software systems
- open source software
- software projects
- software maintenance
- software repositories
- security policies
- free software
- software engineers
- version control
- object oriented systems
- access control
- high level
- plagiarism detection
- mining software repositories
- source files
- maintenance activities
- security mechanisms
- static analysis
- open source projects
- symbolic execution
- software evolution
- text files
- legacy systems
- mailing lists
- software artifacts
- manual inspection
- visual basic