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...
I tiakina i:
| Ngā kaituhi matua: | , , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
Joint Stock Company "Experimental Scientific and Production Association SPELS
2010-06-01
|
| Rangatū: | Безопасность информационных технологий |
| Ngā marau: | |
| Urunga tuihono: | https://bit.mephi.ru/index.php/bit/article/view/736 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|