12 search results - page 1 / 3 » Mutation-Based Testing of Buffer Overflow Vulnerabilities |
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
ICOIN
2005
Springer
13 years 10 months ago
2005
Springer
ACSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
DIMVA
2006
13 years 6 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...