CLORIFI: software vulnerability discovery using code clone verification.
Hongzhe LiHyuckmin KwonJonghoon KwonHeejo LeePublished in: Concurr. Comput. Pract. Exp. (2016)
Keyphrases
- linux kernel
- clone detection
- source code
- software systems
- software development
- program understanding
- industry standard
- code clones
- open source
- software tools
- software maintenance
- operating system
- model checking
- string matching
- formal methods
- programming tool
- security vulnerabilities
- asynchronous circuits
- software evolution
- modeling language
- software design
- data flow
- user interface
- discovery process
- legacy systems
- data mining
- software developers
- software projects
- design patterns
- software architecture
- computer systems
- legacy software