Academic Journal
Verifying Security Vulnerabilities in Open-Source Software via Bounded Model Checking
| العنوان: | Verifying Security Vulnerabilities in Open-Source Software via Bounded Model Checking |
|---|---|
| المؤلفون: | Janislley Oliveira de Sousa, Thales Araujo da Silva, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho |
| بيانات النشر: | Zenodo |
| سنة النشر: | 2022 |
| المجموعة: | Zenodo |
| مصطلحات موضوعية: | Bounded model checking, Software Verification, Security Vulnerabilities, Open-source software, Large systems |
| الوصف: | A novel verification approach that combines input-code analysis and BMC techniques to detect software vulnerabilities and assess findings in a detailed and user-friendly report. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | https://doi.org/10.5281/zenodo.6480485; https://doi.org/10.5281/zenodo.6480486; oai:zenodo.org:6480486 |
| DOI: | 10.5281/zenodo.6480486 |
| الاتاحة: | https://doi.org/10.5281/zenodo.6480486 |
| Rights: | info:eu-repo/semantics/openAccess ; Creative Commons Attribution 4.0 International ; https://creativecommons.org/licenses/by/4.0/legalcode |
| رقم الانضمام: | edsbas.9E36BB19 |
| قاعدة البيانات: | BASE |
| DOI: | 10.5281/zenodo.6480486 |
|---|