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
- A CUDA compiler fuzzer☆30Updated 2 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- Public-facing course info for program analysis materials.☆43Updated 2 months ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- rmem public repo☆49Updated 8 months 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…☆78Updated 3 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆277Updated 3 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆30Updated 6 years ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- A step-by-step tutorial for building an LLVM sample pass☆220Updated 5 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 11 months ago
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆62Updated last year
- OpenCL extension for csmith.☆27Updated 2 months ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- ☆15Updated 6 years ago
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- ☆46Updated 3 years ago
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- Automated DNN generation for fuzz testing and more☆143Updated last year