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: |
Moscow Engineering Physics Institute
2010-06-01
|
| Series: | Bezopasnostʹ Informacionnyh Tehnologij |
| Subjects: | |
| Online Access: | https://bit.mephi.ru/index.php/bit/article/view/736 |