ycdxsb / ast-interpreter
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
- ☆61Updated 2 years ago
- Sth in Control-Flow Integrity☆20Updated 6 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 6 months ago
- 国科大编译作业:基于Clang的C语言解释执行器☆40Updated 3 years ago
- ☆13Updated last year
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- ☆27Updated 2 years ago
- z3 solver 学习☆50Updated last year
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆26Updated 3 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆15Updated 3 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆16Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- LLVM pass☆23Updated 4 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- ☆12Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- A CTF fuzz powerd by protobuf.☆14Updated 2 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated 10 months ago
- 国科大编译作业三:Point to 分析☆18Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- ☆18Updated last year
- angr源码分析☆33Updated 5 years ago
- Binary Only Thread Sanitizer☆14Updated 8 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 2 years ago