LLM-based Code Auditing by Inferring and Evaluating Developer Assumptions

Junming Liu, Marcel Böhme

When we see a null pointer check, we know that the developer believes that the pointer may not be initialized. If the same pointer is later used without a null pointer check, we ma…