Geof23 / GkleeLinks
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆39Updated 4 years ago
Alternatives and similar repositories for Gklee
Users that are interested in Gklee are comparing it to the libraries listed below
Sorting:
- ☆35Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 4 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- ☆67Updated 5 years ago
- Public-facing course info for program analysis materials.☆42Updated 2 weeks ago
- A CUDA compiler fuzzer☆27Updated 2 years ago
- ☆46Updated 3 years ago
- NOELLE Offers Empowering LLVM Extensions☆79Updated 2 months ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆275Updated 3 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- rmem public repo☆48Updated 5 months ago
- Generic model checker for concurrent C programs (mirror repository)☆157Updated last week
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- A translation validation framework for MLIR☆88Updated 7 months ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆102Updated 5 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆147Updated 8 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 8 months ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆104Updated 3 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 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…☆76Updated 3 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆69Updated 2 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- Runtime type and bounds-error checking for C/C++☆104Updated 10 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- A verification tool for many memory models☆103Updated this week
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆20Updated 2 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆30Updated 6 years ago