Patents by Inventor John DANAHY

John DANAHY has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • METHOD AND SYSTEM FOR DETECTING VULNERABILITIES IN SOURCE CODE
    Publication number: 20070234304
    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.
    Type: Application
    Filed: June 13, 2007
    Publication date: October 4, 2007
    Inventors: Ryan BERG, Larry ROSE, John PEYTON, John DANAHY, Robert GOTTLIEB, Chris REHBEIN
  • Method and system for detecting privilege escalation vulnerabilities in source code
    Publication number: 20050010806
    Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and 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.
    Type: Application
    Filed: April 15, 2004
    Publication date: January 13, 2005
    Inventors: Ryan Berg, Larry Rose, John Peyton, John Danahy, Robert Gottlieb, Chris Rehbein