wcphkust / tutorialpass
LLVM pass
☆21Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for tutorialpass
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- Papers related with kernel papers☆13Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- A fuzzer for SMT solvers☆19Updated this week
- A data dependence analyzer for C program☆20Updated 2 years ago
- LLVM meets Code Property Graphs☆87Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- This is java implementation of Graspan.☆20Updated 11 months ago
- ☆19Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- SUPA☆28Updated 4 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- AFL enhanced for concurrency bug and vulnerabilities☆21Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 7 years ago