Results 21 to 30 of about 10,356 (199)
Energies, 2023 Low-Level Virtual Machine (LLVM) compiler infrastructure is a useful tool for building just-in-time (JIT) compilers, besides its reliable front end represented by a clang compiler and its elaborated middle end containing different optimizations that ...
Iulia Știrb, Gilbert-Rainer Gillich
doaj +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
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
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
On-stack replacement, distilled [PDF]
, 2018 On-stack replacement (OSR) is essential technology for adaptive optimization, allowing changes to code actively executing in a managed runtime. The engineering aspects of OSR are well-known among VM architects, with several implementations available to ...
Bhandari Abhilash +14 more
core +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
SATURN - Software Deobfuscation Framework Based On LLVM [PDF]
Proceedings of the 3rd ACM Workshop on Software Protection, 2019 reverse engineering, llvm, code lifting, obfuscation, deobfuscation, static software analysis, binary recompilation, binary ...
Garba, Peter, Favaro, Matteo
openaire +2 more sources
DiVM: Model Checking with LLVM and Graph Memory
, 2017 In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of software. Our virtual machine uses the LLVM IR as its instruction set, enriched
Barnat, Jiří +3 more
core +1 more source
Моделирование и анализ информационных систем, 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
Method of diversity software protection based on fusion compilation
网络与信息安全学报, 2020 For the obvious characteristics and single mode of the existing common protection methods, with the help of the LLVM framework, a diversity software protection method based on fusion compilation was proposed.
XIONG Xiaobing, SHU Hui, KANG Fei
doaj +1 more source