petablox / cis573vm
☆7Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for cis573vm
- Papers related with kernel papers☆13Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 2 years ago
- z3 solver 学习☆45Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 2 years ago
- ☆58Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆19Updated last year
- angr源码分析☆32Updated 4 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- LLVM pass☆21Updated 4 years ago
- ☆13Updated 2 years ago
- a new cfi mechanism☆31Updated 3 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆23Updated 2 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
- ☆22Updated 4 years ago
- afl源码分析☆13Updated 6 years ago
- ☆24Updated 2 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆12Updated 2 years ago
- A Coverage-Based fuzzing tools☆22Updated 3 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆27Updated 3 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- ☆38Updated 2 years ago
- The notes about programming language theory☆22Updated last year