U-Turn: Enhancing Incorrectness Analysis by Reversing Direction

Flavio Ascari, Roberto Bruni, Roberta Gori +1

O'Hearn's Incorrectness Logic (IL) has sparked renewed interest in static analyses that aim to detect program errors rather than prove their absence, thereby avoiding false alarms…