Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur

Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen


Logo Graz University of Technology
Roderick Bloem, Georg Hofferek, and Robert Könighofer
Logo Tallinn University of Technology
Jaan Raik and Urmas Repinski
Logo University of Bremen
Rolf Drechsler, Görschwin Fey, Alexander Finder, and André Sülflow
Logos 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.
    Download Tool Paper
  • [KB:2011] R. Könighofer and R. Bloem: "Automated Error Localization and Correction for Imperative Programs", FMCAD 2011.
  • [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.
  • [KB:2012] R. Könighofer and R. Bloem: "Repair with On-The-Fly Program Analysis", HVC 2012.
Please contact Rolf Drechsler in case of more information about the tool and/or problems at drechsler@uni-bremen.de

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.

©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy