Sökning: "llvm"

Visar resultat 1 - 5 av 37 uppsatser innehållade ordet llvm.

1. 1. EDPM : An extension of EDPM - an embedded domain-specific language for performance monitoring C and C++ programs

   Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

   Författare :David Bosnjak; [2023]
   Nyckelord :EDPM; Dynamic Nesting; PAPI; LLVM; Libtooling; EDPM; Dynamisk Nestning; PAPI; LLVM; Libtooling;

   Sammanfattning : Background. Performance monitoring of C/C++ programs has often been a tedious and straining process, where insufficient and complex tools/APIs are required. Performance monitoring tools and APIs tend to focus on ease of use or flexibility, but rarely both. LÄS MER

3. 2. Automated Generation of EfficientBitslice Implementations forArbitrary Sboxes

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Augustin Bariant; [2023]
   Nyckelord :Bitslicing; Cryptography; Whitebox; Compilation; Boolean circuits.; Parallélisation au bit; Cryptographie; Boîte blanche; Compilation; Circuits booléens.; Bitslicing; Kryptografi; Vit låda; Kompilering; Booleska kretsar.;

   Sammanfattning : Whitebox cryptography aims at protecting standard cryptographic algorithmsthat execute in attacker-controlled environments. In these, the attacker is ableto read a secret key directly from memory. Common implementations mask alldata at runtime and operate on masked data by using many small precomputedtables. LÄS MER

4. 3. Exposing memory accesses and branches in machine code to symbolic execution : Tracking instructions through binary raising

   Master-uppsats, Linköpings universitet/Programvara och system

   Författare :Isak Axelsson; [2023]
   Nyckelord :Binary lifting; Binary raising; Spectre;

   Sammanfattning : In 2018, a new security vulnerability was discovered that existed in billions of processors from different manufacturers, using various architectures. A so-called spectre attack can be launched to exploit the vulnerability and cause cryptographic information to leak through side-channels of the targeted system. LÄS MER

5. 4. The state of WebAssembly in distributed systems : With a focus on Rust and Arc-Lang

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Theodor-Andrei Moise; [2023]
   Nyckelord :WebAssembly; Wasmer; Wasm; Rust; Arc-Lang; Distributed Systems; Continuous Deep Analytics; Docker containers; Performance benchmarking; WebAssembly; Wasmer; Wasm; Rust; Arc-Lang; Distributed Systems; Continuous Deep Analytics; Docker containers; Performance benchmarking;

   Sammanfattning : With the current developments in modern web browsers, WebAssembly has been a rising trend over the last four years. Aimed at replacing bits of JavaScript functionality, it attempts to bring extra features to achieve portability and sandboxing through virtualisation. LÄS MER

7. 5. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Isak Sundell; [2022]
   Nyckelord :WCET; symbolic execution; LLVM;

   Sammanfattning : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. LÄS MER