petablox / cis573vm
☆7Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for cis573vm
- Papers related with kernel papers☆13Updated last year
- The notes about programming language theory☆23Updated last year
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 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
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- z3 solver 学习☆45Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- LLVM pass☆21Updated 4 years ago
- Open source of the paper "击败SOTA反混淆方法"☆18Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- ☆27Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- a new cfi mechanism☆31Updated 3 years ago
- ☆22Updated 4 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆19Updated last year
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- ☆22Updated last year
- ☆13Updated 2 years ago
- afl源码分析☆13Updated 6 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- LLVM meets Code Property Graphs☆87Updated 3 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆18Updated 2 years ago
- angr源码分析☆33Updated 4 years ago