主权项 |
1. An apparatus, comprising:
one or more memories comprising computer-readable code; one or more processors, wherein the one or more processors are configured, in response to execution of the computer-readable code, to cause the apparatus to perform the following: inspecting function summaries generated during a static analysis of a program, wherein each function summary includes an access path, wherein an access path is a path taken from a source statement to a program location; identifying a set of multiple function summaries for a same method that have structural similarities, wherein the multiple function summaries correspond to different access paths to a particular program location corresponding to an entry point to the method; replacing the set of structurally similar multiple function summaries with a single coarse summary; and performing subsequent static analysis operations using the single coarse summary, wherein the static analysis comprises a taint analysis, and wherein performing the subsequent static analysis further comprises determining a problem taint corresponds to the single coarse summary, restoring the set of multiple function summaries for the same apparatus, and performing subsequent taint analysis using the restored set of multiple function summaries. |