Machine Learning in Software Verification

Combine machine learning/Large Language Models and programming language approaches to create a system that detects null pointer exceptions in C programs. There are multiple projects available in this area which range from integrating LLMs in existing verification tools to decide optimal tool paramteres, to employ ML heuristics to search the large statespace in verification tools in order to more efficiently find errors.