Patent ID: 8930913
Filing Date: 2015-01-06
Classification: G06F

Abstract:
1. A computer program product comprising one or more computer-storage media having thereon computer-executable instructions that, when executed by one or more processors of the computing system, cause the computing system to perform the following: an act of accessing an initial version of an intermediate representation of source or program code; an act of statically analyzing the initial version of the intermediate representation to identify defects in the source or program code; determining, by the statically analyzing, for at least one portion of the initial version of the intermediate representation, that the effect of the at least one portion is uncertain and that it cannot be inferred by the static analysis which operations occur in the at least one portion wherein one or more of the at least one portion of the initial version of the intermediate representation is a function call to an external runtime component; for the at least one portion of the initial version of the intermediate representation for which the effect of the portion is uncertain and that it cannot be inferred which operations occur, performing the following: