Results 221 to 230 of about 11,256 (247)
Some of the next articles are maybe not open access.
Building LLVM and GCC, with Amake
2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022openaire +1 more source
LLVM-Based Code Generation for B
2015We present b2llvm, a multi-platform code generator for the B-method. The b2llvm code generator currently handles the following elements of the B language: simple data types, imperative instructions and component compositions. In particular, this paper describes a translation for essential implementation constructs of the B language into LLVM source ...
Richard Bonichon +3 more
openaire +1 more source
KLUZZER: Whitebox Fuzzing on Top of LLVM
2019Whitebox fuzzing (a.k.a. concolic testing) has been shown to be an effective bug finding technique on its own as well as in combination with coverage-guided greybox fuzzing. However, there is currently a lack of whitebox fuzzers operating above the binary code level.
openaire +1 more source
Obfuscating LLVM IR with the Application of Lambda Calculus
Lecture Notes in Computer Science, 2023Rei Kasuya, Noriaki Yoshiura
exaly
Formalizing the concurrency semantics of an LLVM fragment
2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2017Chakraborty, S., Vafeiadis, V.
openaire +3 more sources
A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation
Lecture Notes in Computer Science, 2021Joseph Huber +2 more
exaly
Formalizing the LLVM intermediate representation for verified program transformations
ACM SIGPLAN Notices, 2012Jianzhou Zhao +2 more
exaly
2010
LLVM je kompilatorski sustav koji uz implementaciju suvremenih kompilatorskih strategija pridodaje posebnu pažnju optimizaciji i analizi programa. Sustav je izgrađen kao skup međusobno odvojenih komponenata i omogućuje različite primjene. LLVM pruža svoju jezično neovisnu reprezentaciju jezika sa svojim skupom instrukcija.
openaire +1 more source
LLVM je kompilatorski sustav koji uz implementaciju suvremenih kompilatorskih strategija pridodaje posebnu pažnju optimizaciji i analizi programa. Sustav je izgrađen kao skup međusobno odvojenih komponenata i omogućuje različite primjene. LLVM pruža svoju jezično neovisnu reprezentaciju jezika sa svojim skupom instrukcija.
openaire +1 more source
Formal verification of SSA-based optimizations for LLVM
ACM SIGPLAN Notices, 2013Jianzhou Zhao +2 more
exaly