|
Home « Service « Software
FoREnSiC
 | Roderick Bloem, Georg Hofferek, and Robert Könighofer |
 | Jaan Raik and Urmas Repinski |
 | Rolf Drechsler, Görschwin Fey, Alexander Finder, and André Sülflow |
FoREnSiC is a Formal Repair Environment
for Simple C.
The tool contains a bundle of several engines implementing various techniques to
automating error localization and correction for C/C++ programs. The techniques
implemented are not purely formal but 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.
Download
References
-
[KB:2011] R. Könighofer and R. Bloem: "Automated Error Localization and Correction for Imperative Programs",
FMCAD 2011.
 Link to fulltext
Contact
Please contact us in case of more information about the tool and/or problems at
forensic@lists.iaik.tugraz.at
Notices
FoREnSiC has been developed within the DIAMOND European project, contract number FP7-2009-IST-4-248613
(http://www.fp7-diamond.eu/).
License
FoREnSiC is published under GNU Lesser General Public license as published by the Free Software Foundation
©2011, 2012 by University of Bremen,
Graz University of Technology, and
Tallinn University of Technology
All rights reserved.
|
|
|
forensic_v0.9.0.tar.gz (source)
