enochii / simple-pointer-analysisLinks
Pointer analysis prototype (currently including anderson, steensgard).
☆16Updated 4 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
- ☆25Updated 10 months ago
- ☆19Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆27Updated 3 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated last month
- ☆57Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- ☆33Updated 8 months ago
- ☆25Updated 2 years ago
- ☆23Updated 6 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- ViDeZZo source code.☆39Updated 9 months ago
- ☆19Updated 5 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Updated 2 years ago
- ☆30Updated 3 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- A data dependence analyzer for C program☆20Updated 4 years ago
- ☆37Updated 2 years ago
- Directed fuzzing framework for gVisor.☆26Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Updated last year
- ☆19Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆31Updated last year
- uacatcher open source repo☆22Updated 2 years ago
- ☆37Updated 2 years ago
- git://g.csail.mit.edu/kint☆51Updated 12 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 6 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Updated last year
- The repo of "BugLens"☆34Updated 2 months ago