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. 19, 2013
Filed:
Jul. 20, 2010
Static analysis for verification of software program access to secure resources for computer systems
Ryan Berg, Sudbury, MA (US);
Paolina Centonze, Amawalk, NY (US);
Marco Pistoia, Amawalk, NY (US);
Omer Tripp, Har-Adar, IL (US);
Ryan Berg, Sudbury, MA (US);
Paolina Centonze, Amawalk, NY (US);
Marco Pistoia, Amawalk, NY (US);
Omer Tripp, Har-Adar, IL (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method includes, using a static analysis, analyzing a software program to determine whether the software program accesses a secure resource for a computer system without verification that the secure resource can be accessed by the software program. The method also includes, in response to an access by the software program to the secure resource without verification that the secure resource can be accessed by the software program, outputting a result indicative of the analyzing. Computer program products and apparatus are also disclosed. An apparatus is disclosed that includes a user interface providing a security report to a user, the security report indicating a result of an analysis of whether or not a software program accesses a secure resource for a computer system without verification that the secure resource can be accessed by the software program.