Brief Introducation
CEGFixer is a tool supporting automatic memory-leak fixing in C programs. It utilize a software model checker to check memory-leaks in C programs. Then under the guidance of counterexamples produced by the software model checker, the leaks in programs are repaired.
Benchmark