发明申请
US20120023553A1 Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems
有权
静态分析用于验证软件程序访问以确保计算机系统的资源
- 专利标题： Static Analysis For Verification Of Software Program Access To Secure Resources For Computer Systems
- 专利标题（中）： 静态分析用于验证软件程序访问以确保计算机系统的资源
-
申请号： US12839533申请日： 2010-07-20
-
公开(公告)号： US20120023553A1公开(公告)日： 2012-01-26
- 发明人: Ryan Berg , Paolina Centonze , Marco Pistoia , Omer Tripp
- 申请人： Ryan Berg , Paolina Centonze , Marco Pistoia , Omer Tripp
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 主分类号： G06F21/00
- IPC分类号： G06F21/00
摘要：
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.
公开/授权文献
信息查询
