Results 1 to 10 of about 337 (117)
CaLLi: OCaml library for static analysis of LLVM bitcode
SoftwareXAs LLVM has matured, several third-party static analysis frameworks targeting LLVM bitcode have emerged. However, because these frameworks are written in one of the traditional object-oriented languages such as C++ and Java, developing new analysis tools
Sungho Lee
exaly +3 more sources
Back-end porting of FT_MX based on LLVM compilation architecture [PDF]
MATEC Web of Conferences, 2021 The processor FT_MX is a high-performance chip independently developed by the National University of Defense Technology, with an innovative architecture and instruction set.
Deng Ping +3 more
doaj +1 more source
Reasoning About LLVM Code Using Codewalker [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp
David S. Hardin
doaj +1 more source
Development of a Translator from LLVM to ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual ...
David S. Hardin +3 more
doaj +1 more source
Parallel Extraction of Program Analysis Information on LLVM Based on GPU [PDF]
Jisuanji gongcheng, 2017 Low Level Virtual Machine(LLVM) Intermediate Representation(IR) contains a lot of original program analysis information.The traditional information extraction method is based on the serial loop iterations under CPU.When dealing with large-scale programs ...
MA Dongdong,ZHONG Lujie,ZHU Jingru
doaj +1 more source
Compiling with Continuations and LLVM [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 LLVM is an infrastructure for code generation and low-level optimizations, which has been gaining popularity as a backend for both research and industrial compilers, including many compilers for functional languages. While LLVM provides a relatively easy
Kavon Farvardin, John Reppy
doaj +1 more source
Automatic Vectorization Transplant and Optimization of LLVM for Domestic Processors [PDF]
Jisuanji gongcheng, 2022 Automatic vectorization is essential in SIMD extension vectorization, and has been implemented in the LLVM compiler.However, the difference of vector length and instruction set functions can cause the domestic processors to lose the opportunity of ...
LI Jia'nan, HAN Lin, CHAI Yunda
doaj +1 more source
Description of the approach to development of the obfuscating compiler
Труды Института системного программирования РАН, 2018 Nowadays protecting intellectual property rights for created software is very important because of many competing companies and ubiquitous piracy. The powerful technique for this protection is to obfuscate program code.
Sh. F. Kurmangaleev +2 more
doaj +1 more source
Output-sensitive Information flow analysis [PDF]
Logical Methods in Computer Science, 2021 Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that the program does not leak more ...
Cristian Ene +2 more
doaj +1 more source
Applying two-stage LLVM-based compilation approach to application deployment via cloud storage
Труды Института системного программирования РАН, 2018 The paper describes two-stage compilation approach for C/C++ languages that allows deploying application in the LLVM intermediate representation. The LLVM modifications for optimizing code generation time are presented as well as the developed profile ...
Sergey Gaissaryan +4 more
doaj +1 more source