FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; Andre Sülflow

doi:10.1007/978-3-642-39611-3_24

FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, Andre Sülflow

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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.

Original language	English
Title of host publication	Haifa Verification Conference
Publisher	Springer
Pages	260-265
Volume	7857
ISBN (Print)	978-3-642-39610-6
DOIs	https://doi.org/10.1007/978-3-642-39611-3_24
Publication status	Published - 2012
Event	Haifa Verification Conference - Haifa, Israel Duration: 6 Nov 2012 → 8 Nov 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7857

Conference

Conference	Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	6/11/12 → 8/11/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

10.1007/978-3-642-39611-3_24

forensic.pdfAccepted author manuscript, 297 KB

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Project: Research project
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area

Cite this

Bloem, RP, Drechsler, R, Fey, G, Finder, A, Hofferek, G, Könighofer, R, Raik, J, Repinski, U & Sülflow, A 2012, FoREnSiC - An Automatic Debugging Environment for C Programs. in Haifa Verification Conference. vol. 7857, Lecture Notes in Computer Science, vol. 7857, Springer, pp. 260-265, Haifa Verification Conference, Haifa, Israel, 6/11/12. https://doi.org/10.1007/978-3-642-39611-3_24

@inproceedings{bbd9acb1f36e48ddb530756b8e7f400a,

title = "FoREnSiC - An Automatic Debugging Environment for C Programs",

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 isdesigned 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.",

author = "Bloem, {Roderick Paul} and Rolf Drechsler and G{\"o}rschwin Fey and Alexander Finder and Georg Hofferek and Robert K{\"o}nighofer and Jaan Raik and Urmas Repinski and Andre S{\"u}lflow",

year = "2012",

doi = "10.1007/978-3-642-39611-3_24",

language = "English",

isbn = "978-3-642-39610-6",

volume = "7857",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "260--265",

booktitle = "Haifa Verification Conference",

note = "Haifa Verification Conference ; Conference date: 06-11-2012 Through 08-11-2012",

}

TY - GEN

T1 - FoREnSiC - An Automatic Debugging Environment for C Programs

AU - Bloem, Roderick Paul

AU - Drechsler, Rolf

AU - Fey, Görschwin

AU - Finder, Alexander

AU - Hofferek, Georg

AU - Könighofer, Robert

AU - Raik, Jaan

AU - Repinski, Urmas

AU - Sülflow, Andre

PY - 2012

Y1 - 2012

N2 - 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 isdesigned 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.

AB - 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 isdesigned 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.

U2 - 10.1007/978-3-642-39611-3_24

DO - 10.1007/978-3-642-39611-3_24

M3 - Conference paper

SN - 978-3-642-39610-6

VL - 7857

T3 - Lecture Notes in Computer Science

SP - 260

EP - 265

BT - Haifa Verification Conference

PB - Springer

T2 - Haifa Verification Conference

Y2 - 6 November 2012 through 8 November 2012

ER -

FoREnSiC - An Automatic Debugging Environment for C Programs

Abstract

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Fingerprint

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this