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:
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 4 years ago
- ☆35Updated 2 years ago
- ☆66Updated 5 years ago
- A translation validation framework for MLIR☆87Updated 6 months ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆275Updated 3 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- Public-facing course info for program analysis materials.☆42Updated this week
- ☆47Updated 3 years ago
- A step-by-step tutorial for building an LLVM sample pass☆218Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆79Updated 2 months ago
- A verification tool for many memory models☆101Updated this week
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- rmem public repo☆48Updated 4 months ago
- LLVM Call Graph☆28Updated 4 years ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- Efficient Path Profiling using LLVM☆18Updated 7 years ago
- Generic model checker for concurrent C programs (mirror repository)☆155Updated last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 8 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 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
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Automatic detection of speculative information flows☆68Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆31Updated last week
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- 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
- CUDAAdvisor: a GPU profiling tool☆50Updated 7 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆228Updated 6 years ago
- A CUDA compiler fuzzer☆27Updated last year