Results 31 to 40 of about 5,396 (256)
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
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
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.
University of Twente, Department of Computer Science +1 more
core +3 more sources
"Digital Camouflage": The LLVM Challenge in LLM-Based Malware Detection [PDF]
Journal of Systems and SoftwareLarge Language Models (LLMs) have emerged as promising tools for malware detection by analyzing code semantics, identifying vulnerabilities, and adapting to evolving threats.
Ekin Böke, Simon Torka
semanticscholar +1 more source
SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development
International Conference on Architectural Support for Programming Languages and Operating Systems, 2023 Manually writing parallel programs is difficult and error-prone. Automatic parallelization could address this issue, but profitability can be limited by not having facts known only to the programmer.
Zujun Tan +7 more
semanticscholar +1 more source
Genetic improvement in the shackleton framework for optimizing LLVM pass sequences [PDF]
GECCO Companion, 2022 Genetic Improvement is a search technique that aims to improve a given acceptable solution to a problem. In this paper, we present the novel use of genetic improvement to find problem-specific optimized LLVM Pass sequences.
Shuyue Stella Li +4 more
semanticscholar +1 more source
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +3 more sources
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
Automatic oracle generation in Microsoft’s Quantum Development Kit using QIR and LLVM passes [PDF]
Design Automation Conference, 2022 Automatic oracle generation techniques can find optimized quantum circuits for classical components in quantum algorithms. However, most implementations of oracle generation techniques require that the classical component is expressed in terms of a ...
Mathias Soeken, Mariia Mykhailova
semanticscholar +1 more source