DivSIM , an interactive 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%2F22%3A00126286" target="_blank" >RIV/00216224:14330/22:00126286 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/article/10.1007/s10009-022-00659-x" target="_blank" >https://link.springer.com/article/10.1007/s10009-022-00659-x</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10009-022-00659-x" target="_blank" >10.1007/s10009-022-00659-x</a>
Alternative languages
Result language
angličtina
Original language name
DivSIM , an interactive 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, DivSIM is compatible with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and analyse counterexamples from an existing model checker, and with abstract bitcode generated by LART (LLVM Abstraction and Refinement Tool), making it suitable for direct analysis of abstract and/or symbolic programs and counterexamples.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10200 - Computer and information sciences
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2022
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
Name of the periodical
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN
1433-2779
e-ISSN
1433-2787
Volume of the periodical
24
Issue of the periodical within the volume
3
Country of publishing house
DE - GERMANY
Number of pages
18
Pages from-to
493-510
UT code for WoS article
000777237800001
EID of the result in the Scopus database
2-s2.0-85127569807