Patent ID: 9208061
Filing Date: 2015-12-08
Classification: G06F

Abstract:
1. A computing system, comprising: one or more memories storing computer-readable code; and one or more processors, configured in response to executing the computer-readable code to cause the computing system to perform: performing a first static analysis on a program to locate statements within a program that are data-flow seeding statements for a type of static analysis to be performed in a second static analysis; instrumenting the program to enable a subsequent dynamic analysis based on the located data-flow seeding statements; executing the instrumented program and performing during execution analysis to determine individual sets of statements in the program affected by execution of the instrumented program starting at a corresponding data flow seeding statement; partitioning the data-flow seeding statements into partitions based on the sets of statements and one or more considerations, each partition comprising one or more of the data-flow seeding statements, wherein the data flow seeding statements in each of the partitions are different; performing a second static analysis of the program based on the partitions to produce results indicating any errors for the type of static analysis performed in the second static analysis, at least by: outputting the results.