JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural modified global variables analysis
☆25Updated 4 years ago
Related projects: ⓘ
- A data dependence analyzer for C program☆19Updated 2 years ago
- LLVM pass☆21Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆54Updated 4 years ago
- Papers related with kernel papers☆13Updated last year
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- LLVM meets Code Property Graphs☆85Updated 3 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- TracerX Symbolic Virtual Machine☆31Updated last week
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆18Updated last year
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆47Updated 5 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- Basic LLVM passes☆17Updated 5 years ago
- KLEE / CSE Project☆42Updated 4 years ago
- An llvm pass to perform taint analysis on your code.☆31Updated 4 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆15Updated 7 years ago
- Experimental translation of llvm to smt.☆57Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago
- SUPA☆28Updated 4 years ago
- llvm crash analysis☆41Updated 2 months ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- Fuzzing Parsers with Tokens☆32Updated 3 years ago
- A fuzzer for SMT solvers☆19Updated last year
- An example LLVM pass which can run automatically in clang.☆35Updated 9 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago