Adaptively generated program model

A method for adaptively generating a program model, comprising:

• receiving source code of a program to be tested for code issues;
• receiving a set of predefined patterns to be tested in the source code;
• generating feature configuration data by determining a set of features corresponding to the received set of predefined patterns;
• identifying a set of program models by selecting, for each feature in the set of features, a program model from among a plurality of program models that is optimized for the feature;
• building a dynamic program model based on the identified set of program models, wherein the dynamic program model is adapted to resolve each of the patterns included in the received set of predefined patterns;
• and
• testing the source code for code issues by extracting from the dynamic program model instances of each of the set of predefined patterns,
• wherein identifying the set of program models comprises:
• receiving model lookup data indicating predefined relationships between a plurality of features and respective program models that are optimized to satisfy the plurality of features;
• performing, for each feature in the set of features, a model lookup operation using the received model lookup data to identify a corresponding program model that is optimized for satisfying the feature;
• and
• identifying the set of program models based on the model lookup operation performed for each feature in the set of features.

A non-transitory computer readable medium having a computer-executable program stored thereon, the program comprising instructions that, when executed, cause a computing system to:

• receive source code of a program to be tested for code issues;
• receive a set of predefined patterns to be tested in the source code;
• generate feature configuration data by determining a set of features corresponding to the received set of predefined patterns;
• identify a set of program models by selecting, for each feature in the set of features, a program model from among a plurality of program models that is optimized for the feature;
• build a dynamic program model based on the identified set of program models, wherein the dynamic program model is adapted to resolve each of the patterns included in the received set of predefined patterns;
• and
• test the source code for code issues by extracting from the dynamic program model, instances of each of the set of predefined patterns,
• wherein the instructions that cause the computing system to identify the set of program models comprise instructions that, when executed, cause the computing system to:
• receive model lookup data indicating predefined relationships between a plurality of features and respective program models that are optimized to satisfy the plurality of features;
• perform, for each feature in the set of features, a model lookup operation using the received model lookup data to identify a corresponding program model that is optimized for satisfying the feature;
• and
• identify the set of program models based on the model lookup operation performed for each feature in the set of features.