A static analyzer powered by AI
☆23Aug 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:
- Contains class codes☆11Dec 12, 2025Updated 4 months ago
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- Minimal Bundle Adjustment Example☆11Nov 29, 2023Updated 2 years ago
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Jul 30, 2022Updated 3 years ago
- https://github.com/gothinkster/realworld☆36Dec 5, 2025Updated 4 months 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.
- EPSS(Exploit Prediction Scoring System) API client☆20Oct 30, 2025Updated 5 months ago
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated 3 months ago
- LLM Agent Skill for YARA rule authoring and review☆39Feb 8, 2026Updated 2 months ago
- ☆11Jul 19, 2020Updated 5 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- BSim signatures and databases for Ghidra to recover function symbols with☆15Jul 11, 2024Updated last year
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- ☆16Jun 26, 2019Updated 6 years ago
- ☆13Oct 31, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆12May 3, 2024Updated last year
- Tiny data-over-sound library☆11Jul 14, 2023Updated 2 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- ☆17Jan 24, 2021Updated 5 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 6 months ago
- A Haskell framework for running concurrent computations on an HPC cluster.☆14Oct 10, 2025Updated 6 months ago
- ☆14May 18, 2024Updated last year
- Pghostile is a tool to automate the exploitation of PostgreSQL® specific vulnerabilities that could lead to privilege escalation. It can …☆11Aug 17, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆25Jun 10, 2025Updated 10 months ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆42Jun 3, 2025Updated 10 months ago
- Secure Coding Checklist for Developers☆21Mar 6, 2023Updated 3 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated 3 months ago
- Exercises for EOPL in Haskell☆15Mar 9, 2026Updated last month
- contains C programs that tests the effectiveness of SAST.☆12Jan 9, 2024Updated 2 years ago
- ☆23Sep 18, 2023Updated 2 years ago
- The open source taint analysis engine for the AI era☆35Updated this week
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 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.
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- Run DependencyCheck Against Your Orgs GitHub Repos.☆14Jan 5, 2018Updated 8 years ago
- Container library for Lazarus☆13Sep 29, 2016Updated 9 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated 11 months ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆44Mar 23, 2022Updated 4 years ago
- Rust bindings to the Vectorscan high-performance regex library☆21Mar 13, 2026Updated last month