The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Feb. 08, 2011
Filed:
Jun. 28, 2006
Dennis C. Episkopos, Westminster, CO (US);
J. Jenny LI, Basking Ridge, NJ (US);
Howell S. Yee, Highlands Ranch, CO (US);
David M. Weiss, Long Valley, NJ (US);
Dennis C. Episkopos, Westminster, CO (US);
J. Jenny Li, Basking Ridge, NJ (US);
Howell S. Yee, Highlands Ranch, CO (US);
David M. Weiss, Long Valley, NJ (US);
Avaya Inc., Basking Ridge, NJ (US);
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.