Signature-based Static Analysis for Detecting Recurring Vulnerabilities
☆51Sep 25, 2024Updated 2 years ago
Alternatives and similar repositories for tracer
Users that are interested in tracer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- APHP: Detecting API Post-Handling Bugs Using Code and Description in Patches（Usenix Security 2023）☆14Jun 21, 2023Updated 3 years ago
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 8 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…☆103Dec 18, 2023Updated 2 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- ☆14Jan 13, 2023Updated 3 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.
- ☆11Jun 14, 2024Updated 2 years ago
- FirmSec Dataset☆12Sep 1, 2021Updated 5 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- reven2-scripts contains a set of REVEN scripts to automate timeless-analysis on REVEN traces.☆31Aug 31, 2022Updated 4 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆57Jul 30, 2026Updated 3 months ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆93Sep 18, 2025Updated last year
- AFL/AFL++ version FishFuzz☆99Mar 11, 2025Updated last year
- ☆82Sep 7, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Dec 10, 2021Updated 4 years ago
- BinTuner☆67Jul 25, 2022Updated 4 years ago
- ☆12Nov 3, 2025Updated 11 months ago
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- ☆10Aug 28, 2020Updated 6 years ago
- Clang static checker that carries out tainting analysis.☆87Mar 25, 2018Updated 8 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 3 years ago
- ☆19Nov 5, 2023Updated 2 years ago
- ☆20May 27, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary☆108Dec 25, 2018Updated 7 years ago
- ☆48May 15, 2026Updated 5 months ago
- ☆12May 30, 2024Updated 2 years ago
- ☆43Jun 14, 2022Updated 4 years ago
- PatchFuzz: Fuzzing for JavaScript Engine Incomplete Security Patches☆24Dec 17, 2025Updated 10 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆44Jun 29, 2022Updated 4 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆25Apr 22, 2026Updated 6 months ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reproducible BinProv implementation and pretrained model for binary compilation provenance identification without disassembly.☆10Sep 6, 2026Updated last month
- Code of KextFuzz: Fuzzing macOS Kernel EXTensions on Apple Silicon via Exploiting Mitigations (USENIX Security'23)☆97Aug 31, 2023Updated 3 years ago
- ☆29Mar 31, 2023Updated 3 years ago
- ☆18Aug 7, 2020Updated 6 years ago
- ☆29May 16, 2022Updated 4 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆29Sep 16, 2022Updated 4 years ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆355Dec 12, 2024Updated last year