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:
- Pointer analysis prototype (currently including anderson, steensgard).☆15Updated 3 years ago
- Sth in Control-Flow Integrity☆20Updated 6 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆25Updated last month
- z3 solver 学习☆51Updated 2 years ago
- ☆61Updated 3 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Updated 3 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆25Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆21Updated 6 years ago
- ☆27Updated 3 years ago
- angr源码分析☆33Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- 国科大软件安全原理作业☆24Updated 4 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 5 years ago
- ☆22Updated 5 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆39Updated 3 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 8 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- PARTS / LLVM compiler☆32Updated 5 years ago
- LLVM pass☆23Updated 5 years ago
- ☆17Updated 3 months ago
- Blizzard CTF 2017: Sombra True Random Number Generator (STRNG).☆18Updated 7 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- fuzz the linux kernel bpf verifier☆81Updated 3 years ago
- ☆9Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 3 years ago