FoREnSiC: an automatic debugging environment for C programs

Authors:
Roderick Bloem;Rolf Drechsler;Görschwin Fey;Alexander Finder;Georg Hofferek;Robert Könighofer;Jaan Raik;Urmas Repinski;André Sülflow
Affiliations:
Graz University of Technology, Austria;University of Bremen, Germany;University of Bremen, Germany;University of Bremen, Germany;Graz University of Technology, Austria;Graz University of Technology, Austria;Tallinn University of Technology, Estonia;Tallinn University of Technology, Estonia;University of Bremen, Germany
Venue:
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Year:
2012

Citing 9
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Detecting equality of variables in programs

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Behavioral consistency of C and verilog programs using bounded model checking

Proceedings of the 40th annual Design Automation Conference
Empirical evaluation of the tarantula automatic fault-localization technique

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Combinatorial sketching for finite programs

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Fixing Design Errors with Counterexamples and Resynthesis

ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
Heuristics for Scalable Dynamic Test Generation

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Using Mutation to Automatically Suggest Fixes for Faulty Programs

ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Automated error localization and correction for imperative programs

Proceedings of the International Conference on Formal Methods in Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present FoREnSiC, an open source environment for automatic error detection, localization and correction in C programs. The framework implements different automated debugging methods in a unified way covering the whole design flow from ESL to RTL. Currently, a scalable simulation-based back-end, a back-end based on symbolic execution, and a formal back-end exploiting functional equivalences between a C program and a hardware design are available. FoREnSiC is designed as an extensible framework. Its infrastructure, including a powerful front-end and interfaces to logic problem solvers, can be reused for implementing new program analysis or debugging methods. In addition to the infrastructure, the back-ends, and a few experimental results, we present an illustrative application scenario that shows FoREnSiC in use.