Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Service « Software
FoREnSiC


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
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-2013 by University of Bremen,
Graz University of Technology, and
Tallinn University of Technology.
All rights reserved.



Add to Favorites
Deutsch


Team





Sitemap Kontakt

ISMVL2014 DUHDE