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
- Public-facing course info for program analysis materials.☆43Updated last week
- A translation validation framework for MLIR☆89Updated 8 months ago
- ☆46Updated 3 years ago
- NOELLE Offers Empowering LLVM Extensions☆82Updated 4 months ago
- A CUDA compiler fuzzer☆29Updated 2 years ago
- rmem public repo☆48Updated 6 months ago
- ☆66Updated 6 years ago
- OpenCL extension for csmith.☆26Updated 8 years ago
- Automatic DNN generation for fuzzing and more☆140Updated 10 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆48Updated last year
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆98Updated 6 months 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 group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆30Updated 6 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 9 months ago
- A verification tool for many memory models☆104Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆161Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆148Updated 10 months ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- Simple passes for CFG and DFG analysis☆45Updated 6 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
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago