A Cross-Language Dynamic Information Flow Analysis.
☆30Nov 29, 2022Updated 3 years ago
Alternatives and similar repositories for PolyCruise
Users that are interested in PolyCruise are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Nov 25, 2023Updated 2 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆27Oct 15, 2022Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 5 years ago
- ☆91Oct 25, 2021Updated 4 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Precision-guided context sensitivity for pointer analysis☆62Jul 2, 2023Updated 2 years ago
- WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF☆20Jan 29, 2026Updated 3 months ago
- ☆63Feb 15, 2023Updated 3 years ago
- ☆45Apr 12, 2022Updated 4 years ago
- easy_Pwn☆19Apr 19, 2019Updated 7 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- ☆25Mar 18, 2026Updated 2 months ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- ☆83Sep 3, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆33Nov 13, 2023Updated 2 years ago
- This is the project of LearnAFL.☆28Aug 27, 2020Updated 5 years ago
- A data-flow-guided fuzzer☆124Aug 19, 2023Updated 2 years ago
- ☆27Apr 27, 2022Updated 4 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆29Apr 12, 2023Updated 3 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆99Aug 16, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39May 6, 2024Updated 2 years ago
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated last year
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 3 weeks ago
- ☆16Jan 23, 2022Updated 4 years ago
- A Vulnerable Web App written by JavaScript (Vue+Egg)☆12Oct 31, 2024Updated last year
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- ☆25May 10, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Jan 18, 2023Updated 3 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 3 years ago
- ☆37May 15, 2022Updated 4 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆147Apr 24, 2026Updated last month
- Trophy case for Rudra bugs.☆40Feb 12, 2024Updated 2 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 10 years ago