LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
This research advances the field of software vulnerability analysis by highlighting the critical role of software validation and formal verification techniques in developing systems with high dependability and reliability. A particular focus is placed on addressing the prevalent issue of memory safe...
| Autor principal: | Sousa, Janislley Oliveira de |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/2630113981577092, https://orcid.org/0009-0002-9242-7345 |
| Grau: | Dissertação |
| Idioma: | eng |
| Publicado em: |
Universidade Federal do Amazonas
2024
|
| Assuntos: | |
| Acesso em linha: |
https://tede.ufam.edu.br/handle/tede/10010 |