A static analyzer powered by AI
☆24Aug 5, 2024Updated last year
Alternatives and similar repositories for ai-bugfinder-testbed
Users that are interested in ai-bugfinder-testbed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- https://github.com/gothinkster/realworld☆36Dec 5, 2025Updated 5 months ago
- EPSS(Exploit Prediction Scoring System) API client☆20Oct 30, 2025Updated 6 months ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- BSim signatures and databases for Ghidra to recover function symbols with☆16Jul 11, 2024Updated last year
- 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.
- ☆13Oct 31, 2022Updated 3 years ago
- ☆12May 3, 2024Updated 2 years ago
- ☆17Jan 24, 2021Updated 5 years ago
- The PERPL Compiler☆15Oct 17, 2025Updated 7 months ago
- buck-security is a collection of security checks for Linux☆27Dec 8, 2025Updated 5 months ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- Pghostile is a tool to automate the exploitation of PostgreSQL® specific vulnerabilities that could lead to privilege escalation. It can …☆10Aug 17, 2023Updated 2 years ago
- Go support for parsing, compiling, and installing Chromium OS Seccomp-BPF policy files.☆12Mar 21, 2016Updated 10 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 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.
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20May 12, 2026Updated last week
- UU AFP Summer School Homepage☆11May 20, 2025Updated 11 months ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- ☆23Sep 18, 2023Updated 2 years ago
- Various things to share☆11Sep 22, 2018Updated 7 years ago
- OPNids GUI, API and systems backend☆34Apr 14, 2019Updated 7 years ago
- The open source taint analysis engine for the AI era. Formal inter-procedural taint analysis — finds what pattern matching engines miss, …☆41May 12, 2026Updated last week
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Node.js SDK for IBM X-Force Exchange☆15Aug 20, 2018Updated 7 years ago
- A set of pdf documents used during the fuzzing process☆23Apr 27, 2017Updated 9 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated last year
- Rust bindings to the Vectorscan high-performance regex library☆23Mar 13, 2026Updated 2 months ago
- Concurrent HS256 JWT token brute force cracker, inspired by https://github.com/lmammino/jwt-cracker☆13Jan 21, 2022Updated 4 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆36Apr 27, 2026Updated 3 weeks ago
- ☆12Aug 10, 2019Updated 6 years ago
- Use Frida DBI to instrument binary and perform basic-block code coverage that is fed back to AFL.☆12Nov 23, 2019Updated 6 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.
- ☆10May 11, 2023Updated 3 years ago
- Deliberately vulnerable AWS resources for security assessment demos☆32Aug 20, 2022Updated 3 years ago
- 공약한판정리 - 기호1번 이재명☆18Apr 10, 2025Updated last year
- Automated GitHub secret scanning with smart alerting & monitoring.☆31Jan 15, 2026Updated 4 months ago
- ☆35Feb 6, 2026Updated 3 months ago
- An AI-powered plugin for Caldera that orchestrates long-running LLM workflows to automatically create adversary emulation abilities and p…☆29May 6, 2026Updated last week
- A Binary Ninja plugin to load Cortex-based MCU firmware☆22Jul 1, 2020Updated 5 years ago