Intermediate representation construction for static analysis

摘要

The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.

主权项

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:
an act of querying an analysis-time resolution component for clarification of the at least one portion of the intermediate representation; andan act of receiving supplemental intermediate representation in response to the query; andan act of analyzing the supplemental representation for identification of defects.