php / flowfusionLinks
A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter
☆44Updated 5 months ago
Alternatives and similar repositories for flowfusion
Users that are interested in flowfusion are comparing it to the libraries listed below
Sorting:
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆18Updated last month
- A Control Flow Graph implementation in PHP☆248Updated 2 months ago
- Experimental fuzzer for PHP libraries☆434Updated 4 months ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Updated last year
- ☆15Updated 6 years ago
- ☆21Updated last year
- CVEs for the Rust standard library☆58Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing☆226Updated 5 months ago
- Lightweight JIT Compilation Framework☆463Updated last week
- A Dolev-Yao-model-guided fuzzer for TLS☆149Updated this week
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆47Updated 2 years ago
- ☆27Updated 3 years ago
- ☆29Updated 6 months ago
- AFL/AFL++ version FishFuzz☆93Updated 9 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated last year
- Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.☆263Updated 5 months ago
- An AST visualizer, for PHP☆75Updated last year
- Coveraged-based fuzzer for finding DBMS logical bugs☆59Updated 3 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆150Updated last month
- Source code of ASAN--☆102Updated last year
- The Use of Likely Invariants as Feedback for Fuzzers☆92Updated 3 years ago
- ☆36Updated 5 months ago
- ☆106Updated last year
- Kernel fuzzer inspired by Syzkaller.☆283Updated 3 years ago
- Allows emitting opcodes from the userland☆19Updated 7 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆87Updated 2 months ago
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆113Updated last week
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆98Updated last month
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 3 years ago
- Directed fuzzing framework for gVisor.☆26Updated 2 years ago