Patents by Inventor J. Jenny Li

J. Jenny Li 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).

  • Handling loops in programs and examining feasible software behavior for detecting malicious code
    Patent number: 7945898
    Abstract: The present invention is directed to automatically analyzing software systems for identifying faults or bugs and/or detection of malicious code. In various embodiments, the present invention measures code coverage for high priority invocable program elements, uses a relaxed coverage estimation technique that, instead of guaranteeing which code units will be executed, guarantees that at least a certain number of code units will be executed, determines and solves constraints in code to identify infeasible paths containing one or more selected nodes, determines, for a composite data type, a range of values for each of at least two non-composite data fields, and/or translates, prior to code analysis complex code into simpler code having fewer operators.
    Type: Grant
    Filed: June 28, 2006
    Date of Patent: May 17, 2011
    Assignee: Avaya Inc.
    Inventors: Dennis C. Episkopos, Deborah Jeanne Hill, J. Jenny Li, Howell S. Yee, David M. Weiss
  • Prioritize code for testing to improve code coverage of complex software
    Patent number: 7886272
    Abstract: The present invention is directed to automatically analyzing software systems for identifying faults or bugs and/or detection of malicious code. In various embodiments, the present invention measures code coverage for high priority invocable program elements, uses a relaxed coverage estimation technique that, instead of guaranteeing which code units will be executed, guarantees that at least a certain number of code units will be executed, determines and solves constraints in code to identify infeasible paths containing one or more selected nodes, determines, for a composite data type, a range of values for each of at least two non-composite data fields, and/or translates, prior to code analysis complex code into simpler code having fewer operators.
    Type: Grant
    Filed: June 28, 2006
    Date of Patent: February 8, 2011
    Assignee: Avaya Inc.
    Inventors: Dennis C. Episkopos, J. Jenny Li, Howell S. Yee, David M. Weiss
  • Constraint solver to code based test data generation for improving software reliability and security
    Patent number: 7861226
    Abstract: The present invention is directed to automatically analyzing software systems for identifying faults or bugs and/or detection of malicious code. In various embodiments, the present invention measures code coverage for high priority invocable program elements, uses a relaxed coverage estimation technique that, instead of guaranteeing which code units will be executed, guarantees that at least a certain number of code units will be executed, determines and solves constraints in code to identify infeasible paths containing one or more selected nodes, determines, for a composite data type, a range of values for each of at least two non-composite data fields, and/or translates, prior to code analysis complex code into simpler code having fewer operators.
    Type: Grant
    Filed: June 28, 2006
    Date of Patent: December 28, 2010
    Assignee: Avaya Inc.
    Inventors: Dennis C. Episkopos, J. Jenny Li, Howell S. Yee, David M. Weiss