Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Ryan James Berg0
Chris Rehbein0
John J. Danahy0
John Peyton0
Larry Rose0
Robert Gottlieb0
Date of Patent
July 3, 2007
0Patent Application Number
108250070
Date Filed
April 15, 2004
0Patent Primary Examiner
Patent abstract
A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.