enochii / simple-pointer-analysisLinks
Pointer analysis prototype (currently including anderson, steensgard).
☆16Updated 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
Sorting:
- ☆61Updated 3 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆22Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- ☆20Updated 5 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆83Updated 2 months ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- ☆25Updated 8 years ago
- ☆18Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆26Updated 3 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- ☆28Updated 3 years ago
- fuzz the linux kernel bpf verifier☆83Updated 3 years ago
- ☆36Updated last year
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 8 years ago
- ☆34Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆30Updated 4 months ago
- a new cfi mechanism☆32Updated 3 years ago
- A data-flow-guided fuzzer☆122Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆90Updated last year
- ☆55Updated last year
- ☆21Updated 3 months ago
- ☆24Updated last year
- z3 solver 学习☆51Updated 2 years ago
- Directed fuzzing framework for gVisor.☆25Updated last year
- ☆14Updated last year
- A data dependence analyzer for C program☆21Updated 3 years ago
- ☆25Updated 4 years ago