ycdxsb / ast-interpreterLinks
AST interpreter with clang 5.0.0 and llvm 5.0.0
☆14Updated 5 years ago
Alternatives and similar repositories for ast-interpreter
Users that are interested in ast-interpreter are comparing it to the libraries listed below
Sorting:
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- z3 solver 学习☆53Updated 2 years ago
- 国科大编 译作业：基于Clang的C语言解释执行器☆42Updated 3 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆27Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆27Updated 5 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆31Updated 3 years ago
- angr源码分析☆33Updated 5 years ago
- Sth in Control-Flow Integrity☆19Updated 6 years ago
- ☆61Updated 3 years ago
- CFG explorer for binaries☆83Updated last year
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated 3 weeks ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 4 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 5 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Updated 8 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Updated 3 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆147Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆147Updated 9 months ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 3 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆25Updated 2 years ago
- VxWorks Fuzzer with AFL and QEMU☆48Updated 5 years ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- 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 …☆58Updated 6 years ago
- ☆23Updated 7 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- LLVM pass☆24Updated 5 years ago
- ☆81Updated 4 years ago
- ☆30Updated 4 years ago
- PARTS / LLVM compiler☆31Updated 6 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆21Updated 2 years ago