A Simulator for LLVM Bitcode
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F19%3A00107776" target="_blank" >RIV/00216224:14330/19:00107776 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-030-27008-7_8" target="_blank" >http://dx.doi.org/10.1007/978-3-030-27008-7_8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-27008-7_8" target="_blank" >10.1007/978-3-030-27008-7_8</a>
Alternative languages
Result language
angličtina
Original language name
A Simulator for LLVM Bitcode
Original language description
In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level information about functions and variables in C and C++ programs and structured heap visualisation. Additionally, the simulator is compatible with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and analyse counterexamples from an existing model checker.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-02177S" target="_blank" >GA18-02177S: Abstraction and Other Techniques in Semi-Symbolic Program Verification</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
ISBN
9783030270070
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
127-142
Publisher name
Springer Verlag
Place of publication
Scham
Event location
Amsterdam, Netherlands
Event date
Jan 1, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000884748400008