Generating static defect checkers using a language model

A system comprising

• at least one processor;
• and
• an application that, when executing on the at least one processor, performs operations comprising:
• generating an example representation;
• combining an explanation section, an instruction section, and a description section to generate a prompt, wherein the explanation section comprises the example representation, the instruction section comprises instruction text, and the description section comprises defect description text, wherein the defect description text comprises a natural language description of a defect corresponding to the example representation, wherein the explanation section comprises operations corresponding to the defect, and wherein the instruction text comprises instructions in the natural language to generate defect checker code using the example representation and the defect description text;
• and
• executing a language model using the prompt to generate the defect checker code, wherein the defect checker code is in a programming language.

A non-transitory computer readable medium comprising instructions executable by at least one processor to perform operations comprising:

• generating an example representation;
• combining an explanation section, an instruction section, and a description section to generate a prompt, wherein the explanation section comprises the example representation, the instruction section comprises instruction text, and the description section comprises defect description text, wherein the defect description text comprises a natural language description of a defect corresponding to the example representation, wherein the explanation section comprises operations corresponding to the defect, and wherein the instruction text comprises instructions in the natural language to generate defect checker code using the example representation and the defect description text;
• and
• executing a language model using the prompt to generate the defect checker code, wherein the defect checker code is in a programming language.