Homepage Sitemap Contact

Home « Service « Software

Graz University of TechnologyRoderick Bloem, Georg Hofferek, and Robert Könighofer
Tallinn University of TechnologyJaan Raik and Urmas Repinski
University of BremenRolf 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
  • [BDF+:2012] R. Bloem, R. Drechsler, G. Fey, A. Finder, G. Hofferek, R. Könighofer, J. Raik, U. Repinski, and A. Sülflow: "FoREnSiC - An Automatic Debugging Environment for C Programs", HVC 2012.
    forensic_hvc12Download Tool Paper
  • [KB:2011] R. Könighofer and R. Bloem: "Automated Error Localization and Correction for Imperative Programs", FMCAD 2011.
    Link to fulltext
  • [RHJ+:2012] U. Repinski, H. Hantson, M. Jenihhin, J. Raik, G. Di Guglielmo, G. Pravadelli, and F. Fummi: "Combining Dynamic Slicing and Mutation Operators for ESL Correction", ETS 2012.
    Link to fulltext
  • [KB:2012] R. Könighofer and R. Bloem: "Repair with On-The-Fly Program Analysis", HVC 2012.
    Link to fulltext
Please contact us in case of more information about the tool and/or problems at forensic@lists.iaik.tugraz.at

FoREnSiC has been developed within the DIAMOND European project, contract number FP7-2009-IST-4-248613 (http://www.fp7-diamond.eu/).

FoREnSiC is published under GNU Lesser General Public license as published by the Free Software Foundation
©2011-2013 by University of Bremen,
Graz University of Technology, and
Tallinn University of Technology.
All rights reserved.



Sitemap Kontakt