Xidian Meeting Xidian Guide About Help Search Home Login Control Panel AddBookMark Cong Tian's MessageBoard
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.