Results 21 to 30 of about 3,335 (212)
, 2023 <p>Utilities for constructing large datasets of LLVM IR.</p ...
Paehler, Ludger +8 more
core +1 more source
Defect Detection: Combining Bounded Model Checking and Code Contracts
Моделирование и анализ информационных систем, 2013 Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts great attention in the last few years. In this paper, we present our approach to this problem.
Marat Akhin +2 more
doaj +1 more source
Profile-guided optimisation for indirect branches in a binary translator
Connection Science, 2022 Binary translators, which translate the binary executables from one instruction set to another, are useful tools. Indirect branches are one of the key factors that affect the efficiency of binary translators.
Jyun-Siang Huang, Wuu Yang, Yi-Ping You
doaj +1 more source
Genetic Improvement of LLVM Intermediate Representation
, 2023 Evolving LLVM IR is widely applicable, with LLVM Clang offering support for an increasing range of computer hardware and programming languages. Local search mutations are used to hill climb industry C code released to support geographic open standards: Open Location Code (OLC) from Google and Uber's Hexagonal Hierarchical Spatial Index (H3), giving up ...
William B. Langdon +3 more
openaire +1 more source
Analyzing C/C++ code entities and relations for program understanding
Труды Института системного программирования РАН, 2018 This paper describes the static analysis tool for finding program entities, their metrics, and relations between entities. Program entities are files/directories (physical structure) and classes/functions/methods/global variables (logical structure ...
A. . Belevantsev, E. . Velesevich
doaj +1 more source
, 2019 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 ...
Petr Rockai, Jiri Barnat
openaire +2 more sources
Alive2: bounded translation validation for LLVM
, 2021 © 2021 ACM.We designed, implemented, and deployed Alive2: a bounded translation validation tool for the LLVM compiler's intermediate representation (IR).
Juneyoung Lee +9 more
core +1 more source
Tile Selection Algorithm Based on Data Locality [PDF]
Jisuanji kexueThe existing polyhedral compilation frameworks(such as Pluto,LLVM/Poly and GCC/Graphite) use fixed block sizes when performing loop tiling,which cannot fully utilize the caching characteristics of different hardware,resulting in significant performance ...
LIAO Qihua, NIE Kai, HAN Lin, CHEN Mengyao, XIE Wenbing
doaj +1 more source
Mart: a mutant generation tool for LLVM [PDF]
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019 Program mutation makes small syntactic alterations to programs' code in order to artificially create faulty programs (mutants). Mutants creation (generation) tools are often characterized by their mutation operators and the way they create and represent the mutants.
Thierry Titcheu Chekam +2 more
openaire +2 more sources
Моделирование и анализ информационных систем, 2013 This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of
V. A. Bitner, N. V. Zaborovsky
doaj +3 more sources