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
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago
- Public-facing course info for program analysis materials.☆43Updated last month
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- A translation validation framework for MLIR☆92Updated 9 months ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 11 years ago
- ☆46Updated 3 years ago
- Rule-based Dynamic Binary Translator☆12Updated 5 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
- Interprocedural Basic Block Code Layout Optimization☆18Updated 7 years ago
- LLVM Call Graph☆28Updated 4 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆99Updated 7 months ago
- A CUDA compiler fuzzer☆30Updated 2 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- Automatic DNN generation for fuzzing and more☆142Updated last year
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 10 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆148Updated 11 months ago
- NOELLE Offers Empowering LLVM Extensions☆83Updated 5 months ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- Efficient Path Profiling using LLVM☆18Updated 8 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- Ocolos is the first open-sourced online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated last week
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆62Updated last year
- Updated C version of the Test Suite for Vectorising Compilers☆70Updated last year
- A step-by-step tutorial for building an LLVM sample pass☆221Updated 5 years ago
- ☆52Updated 3 years ago