Results 11 to 20 of about 3,335 (212)
K-LLVM: A Relatively Complete Semantics of LLVM IR. [PDF]
, 2020 LLVM [Lattner and Adve, 2004] is designed for the compile-time, link-time and run-time optimization of programs written in various programming languages. The language supported by LLVM targeted by modern compilers is LLVM IR [llvm.org, 2018]. In this paper we define K-LLVM, a reference semantics for LLVM IR.
Liyi Li 0002, Elsa L. Gunter
openaire +4 more sources
, 2019 SKilL is an open source system for the platform- and language-independent serialization of intermediate representations. It consists of a specification language, a binary data format and a tool for generating language bindings. The LLVM project is an open source infrastructure for the development of compilers.
Pfister, Daniel
openaire +3 more sources
, 2023 У роботі наведено огляд компонентів платформи LLVM, проаналізовано механізми безпеки та виконано тестування захищеностів від шкідливого коду. В аналіз безпеки входить перевірка можливих вразливостей, та систем захисту які інтегровані в системі.
Коваль, Д. К.
openaire +2 more sources
LLVM-based Static Analysis Tool Using Type and Effect Systems
Моделирование и анализ информационных систем, 2011 The intention of this paper is to describe a static analysis tool under development. The principal idea behind the design of this tool is to use type and effect systems for static analysis of real programs. The tool uses LLVM bitcode files as input, thus
M. A. Belyaev, V. A. Tsesko
doaj +1 more source
, 2022 The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment.
Rui Ueyama +60 more
core +1 more source
Automatic Verification of LLVM Code
CoRR, 2020 In this work we present our work in developing a software verification tool for llvm-code - Lodin - that incorporates both explicit-state model checking, statistical model checking and symbolic state model checking algorithms.
Axel Legay +2 more
openaire +3 more sources
Decompilation of Binaries into LLVM IR for Automated Analysis [PDF]
, 2022 Complexity in malicious software is increasing to avoid detection and mitigation. As such, there is greater interest in using automation for reverse engineering.
Toor, Tejvinder
core
Termination-checking for LLVM peephole optimizations [PDF]
Proceedings of the 38th International Conference on Software Engineering, 2016 Mainstream compilers contain a large number of peephole optimizations, which perform algebraic simplification of the input program with local rewriting of the code. These optimizations are a persistent source of bugs. Our recent research on Alive, a domainspecific language for expressing peephole optimizations in LLVM, addresses a part of the problem ...
David Menendez, Santosh Nagarakatte
openaire +1 more source
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
, 2022 Software accompanying paper "Peter Lammich: Refinement of Parallel Algorithms down to LLVM" accepted for publication at LIPIcs, Volume 237, ITP 2022 Isabelle-LLVM Parallel is a verification framework for Isabelle/HOL that targets LLVM as backend.
Peter Lammich (13102800)
core +1 more source
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