Patent ID: 8516453

Claim:
A computing system for partition-based static analysis of computer software applications, the computing system comprising: at least one processor; at least one memory architecture coupled with the at least one processor; a module inspector configured to inspect each of a plurality of modules of a computer software application to identify at least one dependency of said inspected module on at least one other module of said computer software application; a transitive dependencies identifier configured to determine any transitive dependencies of any of said inspected modules from said dependencies identified for said inspected module; and a static analyzer configured to: perform a first static analysis on one of said inspected modules and its transitive dependencies; perform a second static analysis on another of said inspected modules and its transitive dependencies, wherein said static analyzer is configured to perform said first and second analyses independently from each other; and wherein said module inspector, transitive dependencies identifier, and static analyzer are implemented in at least one of computer hardware and computer software embodied in a physically-tangible computer-readable storage medium.