Queue· 2012Q3
SAGE: Whitebox Fuzzing for Security Testing
- 317citations
- Q3SCImago
- 2012year
Short summary
SAGE is a whitebox fuzzing tool that has been used to find over 1,200 bugs in Windows, improving its security.
AI-generated from the title and abstract; the full text is not read.
Key points
- SAGE is a whitebox fuzzing tool that uses program tracing to generate inputs.
- It automatically explores code paths to find bugs.
- SAGE has identified over 1,200 bugs in the Windows operating system.
- The tool's effectiveness contributes to improved software security.
AI-generated from the title and abstract; the full text is not read.
Abstract
Most ACM Queue readers might think of "program verification research" as mostly theoretical with little impact on the world at large. Think again. If you are reading these lines on a PC running some form of Windows (like 93-plus percent of PC users--that is, more than a billion people), then you have been affected by this line of work--without knowing it, which is precisely the way we want it to be.
The authors' abstract, as published at the source. Queue, 2012 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science