enochii / simple-pointer-analysis
Implement pointer analysis prototype (currently including anderson, steensgard)~
☆15Updated 3 years ago
Alternatives and similar repositories for simple-pointer-analysis:
Users that are interested in simple-pointer-analysis are comparing it to the libraries listed below
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- ☆60Updated 2 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- ☆25Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 5 months ago
- ☆34Updated last year
- a new cfi mechanism☆31Updated 3 years ago
- ☆28Updated 3 years ago
- ☆22Updated 5 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆14Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆16Updated 3 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆33Updated 10 months ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 5 years ago
- ☆34Updated 2 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆26Updated 3 years ago
- ☆44Updated 4 years ago
- ☆12Updated last year
- ViDeZZo source code.☆34Updated 2 months ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆64Updated 3 years ago
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- fuzz the linux kernel bpf verifier☆78Updated 3 years ago
- ☆42Updated 2 years ago