Invention Grant
US08533694B2 Identification of read/write chains during static analysis of computer software
有权
在计算机软件的静态分析期间识别读/写链
- Patent Title: Identification of read/write chains during static analysis of computer software
- Patent Title (中): 在计算机软件的静态分析期间识别读/写链
-
Application No.: US12129894Application Date: 2008-05-30
-
Publication No.: US08533694B2Publication Date: 2013-09-10
- Inventor: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- Applicant: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Sughrue Mion, PLLC
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F7/00 ; G06F17/30

Abstract:
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.
Public/Granted literature
- US20090300266A1 IDENTIFICATION OF READ/WRITE CHAINS DURING STATIC ANALYSIS OF COMPUTER SOFTWARE Public/Granted day:2009-12-03
Information query