Patent ID: 9563535
Date: 2017-02-07
CPC Classifications: G06F

Claim:
1. A system comprising one or more computer processors and one or more computer storage devices having thereon computer-executable instructions that, when executed upon the one or more processors, cause the system to perform the following: accessing an initial version of an intermediate representation of source or program code; statically analyzing the initial version of the intermediate representation to identify defects in the source or program code; determining, by statically analyzing the initial version of the intermediate representation, that operations which occur in at least one portion of the initial version of the intermediate representation cannot be inferred by the static analysis; for the at least one portion of the initial version of the intermediate representation for which, based on the static analysis, operations cannot be inferred, performing: generating a list of defects comprising the defects identified by the static analysis of the initial version of the intermediate representation and the defects identified by analyzing the supplemental representation, wherein one or more defects identified by analyzing the supplemental representation are associated with code comprising a generic class that is parameterized by type.