Automated Code Repair

Will Klieber discusses repairing invalid memory accesses, including repairing faulty bound sticks due to integer overflows, inserting missing bounds checks, and repairing reads of sale-sensitive data. In addition, Professor Le Goues discusses the use of separation logic for automated reasoning about the semantic effects of program fragments. This addresses memory leaks, resource leaks, and null pointer dereferences.