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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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.

Originalsprache	englisch
Titel	Haifa Verification Conference
Herausgeber (Verlag)	Springer
Seiten	260-265
Band	7857
ISBN (Print)	978-3-642-39610-6
DOIs	https://doi.org/10.1007/978-3-642-39611-3_24
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	Haifa Verification Conference 2012 - Haifa, Israel Dauer: 6 Nov. 2012 → 8 Nov. 2012

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer
Band	7857

Konferenz

Konferenz	Haifa Verification Conference 2012
Land/Gebiet	Israel
Ort	Haifa
Zeitraum	6/11/12 → 8/11/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

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

forensic.pdfAkzeptiertes Autorenmanuskript, 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
Projekt: Forschungsprojekt
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
Projekt: Arbeitsgebiet

Dieses zitieren

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. Bd. 7857, Lecture Notes in Computer Science, Bd. 7857, Springer, S. 260-265, Haifa Verification Conference 2012, 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

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Fingerprint

Projekte

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

Formal Methods for Design & Verification

Dieses zitieren