rdadolf / clangtoolLinks
An example LLVM pass which can run automatically in clang.
☆38Updated 9 years ago
Alternatives and similar repositories for clangtool
Users that are interested in clangtool are comparing it to the libraries listed below
Sorting:
- SUPA☆28Updated 5 years ago
- PARTS / LLVM compiler☆32Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Repository for understanding and writing LLVM passes.☆33Updated 5 years ago
- A LLVM Pass with runtime dataflow sanitization☆33Updated 6 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- Collection of various llvm passes☆123Updated 10 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Tutorial to write qemu plugins☆33Updated 8 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- LLVM Call Graph☆27Updated 4 years ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Updated 10 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆50Updated 8 years ago
- ☆17Updated 4 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 8 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- ☆32Updated 2 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆72Updated 6 months ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- ☆37Updated 3 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- Fuzzing Parsers with Tokens☆33Updated 4 years ago
- ☆53Updated 6 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- llvm crash analysis☆43Updated 11 months ago