Andreea Costea

"Patch Space Exploration using Static Analysis Feedback"

(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

Automated Program Repair (APR) techniques typically rely on a given test-suite to guide the repair process. Apart from the need to provide test oracles, this makes the produced patches prone to test data over-fitting. In this work, instead of relying on test cases, we show how to automatically repair memory safety issues by leveraging static analysis (specifically Incorrectness Separation Logic) to guide repair. At a high level, we show how the abstract states manipulated by the static analysis form the basis for effective automated program repair.

Termin als Datei downloaden und in den Kalender importieren.