petablox / cis573vm
☆7Updated 5 years ago
Alternatives and similar repositories for cis573vm:
Users that are interested in cis573vm are comparing it to the libraries listed below
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 3 years ago
- Binary Only Thread Sanitizer☆11Updated 6 months ago
- Papers related with kernel papers☆13Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆26Updated 3 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- ☆20Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- afl源码分析☆13Updated 6 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- z3 solver 学习☆48Updated last year
- a new cfi mechanism☆31Updated 3 years ago
- LLVM pass☆22Updated 4 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 5 years ago
- The notes about programming language theory☆23Updated last year
- ☆41Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- ☆13Updated 3 years ago
- ☆29Updated 3 weeks ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- ☆40Updated 9 months ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆24Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 5 years ago
- ☆25Updated 2 years ago
- ☆18Updated 4 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago