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 to locate elements within a program; instrumenting the program to enable a subsequent dynamic analysis based on the located elements; executing the instrumented program and performing during execution analysis to determine individual sets of statements in the program affected by a corresponding element; partitioning the sets of statements into partitions based on one or more considerations, each partition comprising one or more of the elements; performing a second static analysis on the partitions of the program to produce results; and outputting the results.