Invention Application
- Patent Title: IDENTIFICATION OF READ/WRITE CHAINS DURING STATIC ANALYSIS OF COMPUTER SOFTWARE
- Patent Title (中): 计算机软件静态分析期间读/写链的识别
-
Application No.: US12129894Application Date: 2008-05-30
-
Publication No.: US20090300266A1Publication Date: 2009-12-03
- Inventor: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- Applicant: Marco Pistoia , Takaaki Tateishi , Omer Tripp , Omri Weisman
- Applicant Address: US NY Armonk
- Assignee: INTERNATIONANL BUSINESS MACHINES CORPORATION
- Current Assignee: INTERNATIONANL BUSINESS MACHINES CORPORATION
- Current Assignee Address: US NY Armonk
- Main IPC: G06F12/00
- IPC: G06F12/00

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
- US08533694B2 Identification of read/write chains during static analysis of computer software Public/Granted day:2013-09-10
Information query