Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking.
Janislley Oliveira de SousaBruno Carvalho de FariasThales Araujo da SilvaEddie Batista de Lima FilhoLucas C. CordeiroPublished in: CoRR (2023)
Keyphrases
- open source
- open source projects
- bounded model checking
- source code
- software development
- software package
- software projects
- development team
- open source software
- software maintenance
- software evolution
- formal verification
- case study
- software systems
- computer systems
- development cycle
- model checking
- security risks
- security vulnerabilities
- java platform
- core components
- development process
- software engineering
- search algorithm
- software testing
- temporal logic
- belief revision