Patent ID: 8533694

Claim:
A system for identifying read/write chains during static analysis of computer software, the system comprising: a static analysis engine configured to perform static analysis on computer software and identify within said computer software any accesses to a logical container, said logical container being an entity in which data is persistable, and into which data may be written and from which data may be read; a processor executing a string analyzer configured to at least partly resolve any variables identifying said logical container in any of said accesses by determining a set of potential values of any of said variables; and a Logical Container Access Virtualization component (LCAV) configured to identify the type and scope of any permutations of said accesses, wherein each of said permutations is defined by substituting any of said potential values for any of said access variables, and identify any read/write chains within said computer software by matching any of said access permutations that read from said logical container with any of said access permutations that write to said logical container if there is an intersection between the scopes of said read and write access permutations.