A Cross-Language Dynamic Information Flow Analysis.
☆28Nov 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 4 years ago
- ☆91Oct 25, 2021Updated 4 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Precision-guided context sensitivity for pointer analysis☆61Jul 2, 2023Updated 2 years ago
- WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF☆19Jan 29, 2026Updated last month
- ☆61Feb 15, 2023Updated 3 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- easy_Pwn☆19Apr 19, 2019Updated 6 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- ☆24Mar 18, 2026Updated last week
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- ☆82Sep 3, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Nov 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 3 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☆30Apr 12, 2023Updated 2 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆98Aug 16, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 last year
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- ☆16Jan 23, 2022Updated 4 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☆17Mar 30, 2024Updated last year
- 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
- ☆26May 10, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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 2 years ago
- ☆37May 15, 2022Updated 3 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☆146Jan 22, 2026Updated 2 months ago
- Trophy case for Rudra bugs.☆40Feb 12, 2024Updated 2 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 10 years ago