Essays about: "LLVM IR"

Showing result 1 - 5 of 10 essays containing the words LLVM IR.

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

   University essay from Linköpings universitet/Programvara och system

   Author : Isak Axelsson; [2023]
   Keywords : Binary lifting; Binary raising; Spectre;

   Abstract : 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. READ MORE

3. 2. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Isak Sundell; [2022]
   Keywords : WCET; symbolic execution; LLVM;

   Abstract : 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. READ MORE

4. 3. Calculation of WCET with symbolic execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Carl Österberg; [2022]
   Keywords : wcet; klee; static analysis; rust; llvm;

   Abstract : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. READ MORE

5. 4. Cumulus - translating CUDA to sequential C++ : Simplifying the process of debugging CUDA programs

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Vera Blomkvist Karlsson; [2021]
   Keywords : Clang; Code generation; CUDA; Debugging; Parallel computing; Clang; Kodgenerering; CUDA; Felsökning; Parallella beräkningar;

   Abstract : Due to their highly parallel architecture, Graphics Processing Units (GPUs) offer increased performance for programs benefiting from parallel execution. A range of technologies exist which allow GPUs to be used for general-purpose programming, NVIDIA’s CUDA platform is one example. READ MORE

6. 5. Static Branch Prediction through Representation Learning

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Pietro Alovisi; [2020]
   Keywords : compiler; compiler optimization; branch prediction; machine learning; representation learning; LLVM; kompilator; kompilatoroptimering; branch prediction; maskininlärning; representation learning; LLVM.;

   Abstract : In the context of compilers, branch probability prediction deals with estimating the probability of a branch to be taken in a program. In the absence of profiling information, compilers rely on statically estimated branch probabilities, and state of the art branch probability predictors are based on heuristics. READ MORE