7 search results - page 2 / 2 » HAMPI: A String Solver for Testing, Analysis and Vulnerabili... |
DIMVA
2006
13 years 7 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
NDSS
2008
IEEE
14 years 19 days ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...