ycdxsb / ast-interpreter
AST interpreter with clang 5.0.0 and llvm 5.0.0
☆14Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ast-interpreter
- ☆58Updated 2 years ago
- Sth in Control-Flow Integrity☆18Updated 5 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- 国科大编译作业三:Point to 分析☆16Updated 2 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- Papers related with kernel papers☆13Updated last year
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 2 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆39Updated 2 years ago
- ☆24Updated 2 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆19Updated 5 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆14Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated last year
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆21Updated 3 weeks ago
- ☆22Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 3 years ago
- z3 solver 学习☆45Updated last year
- angr源码分析☆32Updated 4 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 7 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆75Updated 10 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆23Updated 10 months ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago