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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Joint Stock Company "Experimental Scientific and Production Association SPELS
2010-06-01
|
| Series: | Безопасность информационных технологий |
| Subjects: | |
| Online Access: | https://bit.mephi.ru/index.php/bit/article/view/736 |