US Patent 10459822 Iterative static analysis using stored partial results

Systems for performing a static analysis of one or more target software applications are provided. The static analysis is performed on a first source code, and the system identifies code snippets or other portions of the source code that are identifiable due to containing identifiable information, being associated with particular inputs and/or outputs, and the like. The system associates the code snippet with metadata describing the results of the static analysis for the first source code or for the code snippet. Subsequently, when the static analysis is requested for a second source code that uses the code snippet but does not include the source code for the code snippet, the system determines that the code snippet is used in the second source code and obtains the associated metadata to incorporate into the results of the static analysis of the second source code.