Results 111 to 120 of about 11,256 (247)
Classification of Obfuscation Techniques in LLVM IR: Machine Learning on Vector Representations
Machine Learning and Knowledge ExtractionWe present a novel methodology for classifying code obfuscation techniques in LLVM IR program embeddings. We apply isolated and layered code obfuscations to C source code using the Tigress obfuscator, compile them to LLVM IR, and convert each IR code ...
Sebastian Raubitzek +3 more
doaj +1 more source
Agile Acceleration of LLVM Flang Support for Fortran 2018 Parallel Programming
, 2022 Katherine Rasmussen
openalex +2 more sources
, 2023 У роботі наведено огляд компонентів платформи LLVM, проаналізовано механізми безпеки та виконано тестування захищеностів від шкідливого коду. В аналіз безпеки входить перевірка можливих вразливостей, та систем захисту які інтегровані в системі.
openaire +1 more source
Towards Energy Consumption Verification via Static Analysis
, 2015 In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs.
Haemmerle, Remy +4 more
core
, 2022 Метою роботи є пошук неоптимального машинного коду, який генерується iнфраструктурою LLVM для мов програмування, якi її використовують та подальша оптимiзацiя. Результатом роботи стала реалiзацiя проходу, який знаходить патерн перевiрки двох цiлих знакових чисел на одинаковий знак наївним методом та перетворює вiдповiдний IR на оптимальнiший ...
openaire +1 more source
LLVM Code Generation for Open Dylan
, 2020 The Open Dylan compiler, DFMC, was originally designed in the 1990s to compile Dylan language code targeting the 32-bit Intel x86 platform, or other platforms via portable C. As platforms have evolved since, this approach has been unable to provide efficient code generation for a broader range of target platforms, or to adequately support tools such as
openaire +2 more sources
LLVM-based static analysis tool using type and effect systems
, 2012 Mikhail Belyaev +1 more
openalex +2 more sources
Sequre: a high-performance framework for secure multiparty computation enables biomedical data sharing. [PDF]
Genome Biol, 2023 Smajlović H +4 more
europepmc +1 more source
Using LLVM-based JIT compilation in genetic programming [PDF]
, 2016 Michal Gregor, Juraj Spalek
openalex +1 more source
A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices. [PDF]
Sensors (Basel), 2022 Culic I, Vochescu A, Radovici A.
europepmc +1 more source