Apparatus and method for testing secure software

作者: Brian Chess , Arthur Do , Sean Fay , Roger Thornton

DOI:

关键词: Vulnerability managementExecutableVulnerabilityPerformance resultsSoftwareComputer scienceComputer securityStatic analysis

摘要: A computer readable medium includes executable instructions to analyze program for security vulnerabilities. Executable identify potential vulnerabilities within based upon input from an attack database and information derived during a static analysis of the instructions. Vulnerability tests are applied in view Performance results vulnerability analyzed. The performance then reported.

参考文章(23)
Mihai Christodorescu, Somesh Jha, Method and apparatus to detect malicious software ,(2003)
Jean-Francois Arcand, Ramesh Babu Mandava, Method and system for determining computer software test coverage ,(2002)
George Leeman, Harini Srinivasan, Aaron Kershenbaum, Marco Pistoia, Darrell Reimer, Robert Johnson, Kavitha Srinivas, Lawrence Koved, Bowen Alpern, Static analysis based error reduction for software applications ,(2003)
Sebastian T. Ventrone, Emory D. Keller, Alvar A. Dean, Jerry D. Hayes, Joseph A. Iadanza, System and method for AC performance tuning by thereshold voltage shifting in tubbed semiconductor technology ,(2000)
John J. Danahy, Chris Rehbein, John Peyton, Ryan James Berg, Larry Rose, Robert Gottlieb, Method and system for detecting vulnerabilities in source code ,(2004)
Thaddeus Julius Kowalski, James R. Rowland, Jonathan Isaac Helfman, John J. Puttress, Carl Robert Seaquist, II James E. Goodnow, Method of Identifying Similarities in Code Segments ,(1995)
Saman P. Amarasinghe, Vladimir L. Kiriansky, Derek L. Bruening, Secure execution of a computer program ,(2009)