Vulnerability Detection in Binary Code Based on Constraint Satisfiability Checking
This article presents the method for purposeful detection of vulnerabilities depending on input data of application. It also describes the model-based testing tool Avalanche which applies this method for detection of vulnerabilities in binary code. If any vulnerabilities are found then Avalanche gen...
Guardat en:
| Autors principals: | , , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Joint Stock Company "Experimental Scientific and Production Association SPELS
2010-06-01
|
| Col·lecció: | Безопасность информационных технологий |
| Matèries: | |
| Accés en línia: | https://bit.mephi.ru/index.php/bit/article/view/736 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|