Geof23 / GkleeLinks
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆40Updated 4 years ago
Alternatives and similar repositories for Gklee
Users that are interested in Gklee are comparing it to the libraries listed below
Sorting:
- ☆34Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- ☆66Updated 6 years ago
- NOELLE Offers Empowering LLVM Extensions☆82Updated 4 months ago
- Public-facing course info for program analysis materials.☆43Updated 3 weeks ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- A CUDA compiler fuzzer☆30Updated 2 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Updated 3 years ago
- A step-by-step tutorial for building an LLVM sample pass☆221Updated 5 years ago
- A translation validation framework for MLIR☆89Updated 9 months ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆29Updated 6 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- ☆46Updated 3 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆99Updated 7 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- Automatic DNN generation for fuzzing and more☆141Updated 11 months ago
- rmem public repo☆48Updated 7 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 4 years ago
- ☆53Updated 2 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆77Updated 3 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆283Updated last year
- Lists of must-read papers (mainly security papers)☆32Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated 3 weeks ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- Generates CIL MLIR dialect from C/C++ source.☆34Updated 4 years ago
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year