Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Tavis Ormandy0
William A. Drewry0
Date of Patent
February 19, 2013
0Patent Application Number
121849800
Date Filed
August 1, 2008
0Patent Citations Received
Patent Primary Examiner
Patent abstract
Some embodiments of the present invention provide a system that tests a software program. During operation, the system traces a flow of tainted data through the software program during execution of the software program. Next, the system alters the flow by modifying an instruction within the software program. The system then monitors the behavior of the software program after modifying the instruction. Finally, the system analyzes a correctness of the software program based on the monitored behavior.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.