FoREnSiC

FoREnSiC stands for Formal Repair Environment for Simple C. This tool contains a bundle of engines implementing various techniques to automate error localization and correction for C programs. The techniques implemented range from simulation-based methods to semi-formal and formal ones. The value of FoREnSiC is not only in its different back-ends. FoREnSiC can also be used as a framework for implementing new program analysis, verification, and debugging techniques. FoREnSiC contains a powerful front-end which is able to transform a C/C++ program into a very simple graph-based representation. It also provides data structures to represent logic formulas. Logic solvers such as SMT-solvers are accessible via simple interfaces to solve these formulas.

FoREnSiC has been created in the frames of the DIAMOND project, conjointly with the University of Bremen and Tallinn University of Technology. It is hosted at http://www.informatik.uni-bremen.de/agra/eng/forensic.php.