发明申请
- 专利标题: IDENTIFICATION OF READ/WRITE CHAINS DURING STATIC ANALYSIS OF COMPUTER SOFTWARE
- 专利标题(中): 计算机软件静态分析期间读/写链的识别
-
申请号: US12129894申请日: 2008-05-30
-
公开(公告)号: US20090300266A1公开(公告)日: 2009-12-03
- 发明人: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- 申请人: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- 申请人地址: US NY Armonk
- 专利权人: INTERNATIONANL BUSINESS MACHINES CORPORATION
- 当前专利权人: INTERNATIONANL BUSINESS MACHINES CORPORATION
- 当前专利权人地址: US NY Armonk
- 主分类号: G06F12/00
- IPC分类号: G06F12/00
摘要:
A system for identifying read/write chains in computer software, including a static analysis engine identifying within computer software logical container accesses, a string analyzer configured to at least partly resolve any variables identifying the logical container in any of the accesses by determining a set of potential values of any of the variables, and a Logical Container Access Virtualization component (LCAV) configured to identify the type and scope of any permutations of the accesses, where each of the permutations is defined by substituting any of the potential values for any of the access variables, and identify any read/write chains within the computer software by matching any of the access permutations that read from the logical container with any of the access permutations that write to the logical container if there is an intersection between the scopes of the read and write access permutations.
公开/授权文献
信息查询