Static Analysis meets Large Language Models
☆56May 6, 2024Updated 2 years ago
Alternatives and similar repositories for autofix
Users that are interested in autofix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Securade.ai Sentinel - A monitoring and surveillance application that enables visual Q&A and video captioning for existing CCTV cameras.☆30Apr 6, 2025Updated last year
- ☆12Mar 20, 2026Updated 7 months ago
- Long context evaluation for large language models☆18Jan 23, 2026Updated 9 months ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 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.
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s …☆20Jan 30, 2025Updated last year
- MCP-CyberAgent is an MCP-compliant AI security assistant that connects Claude Desktop (or any MCP client) with real-world cybersecurity t…☆10May 28, 2025Updated last year
- Agentic AI framework for enterprise workflow automation.☆1,580Aug 24, 2026Updated 2 months ago
- This is the starter code for an example of storing a github repo in a vector store and chatting with it as a knowledge base☆17Jun 22, 2023Updated 3 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Path based Dynamic Analysis☆118Mar 25, 2017Updated 9 years ago
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Jan 8, 2022Updated 4 years ago
- Pivotal Token Search☆160Updated this week
- ☆13Jul 6, 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.
- Evaluation Framework for Dependency Analysis (EFDA)☆44May 4, 2022Updated 4 years ago
- Dynamic Shell Command MCP Server☆42Feb 27, 2025Updated last year
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆24May 11, 2021Updated 5 years ago
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆84Aug 7, 2026Updated 3 months ago
- ☆160May 24, 2024Updated 2 years ago
- Web queries dataset for code search☆33Jun 3, 2023Updated 3 years ago
- InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw☆67Oct 4, 2024Updated 2 years ago
- Program Translator AI built on Pytorch☆15Dec 19, 2019Updated 6 years ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 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.
- ☆28Sep 21, 2022Updated 4 years ago
- Severity scoring and exploit categorisation for vulnerability reports using machine-learning tools.☆29May 16, 2023Updated 3 years ago
- INACTIVE - http://mzl.la/ghe-archive - clang plugin to get the function prototypes in C/C++☆13Mar 30, 2019Updated 7 years ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆13Apr 16, 2020Updated 6 years ago
- ☆10Sep 24, 2019Updated 7 years ago
- ☆12Jul 19, 2025Updated last year
- Software vulnerabilities data set☆25Mar 4, 2020Updated 6 years ago
- A list of academic papers related to Docker containers & Docker Hub☆28Apr 16, 2026Updated 6 months ago
- ☆15Sep 29, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generating Adversarial Examples for Holding Robustness of Source Code Processing Models☆17Dec 2, 2021Updated 4 years ago
- Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]☆12Feb 2, 2024Updated 2 years ago
- ☆10Feb 8, 2025Updated last year
- WIP - Aptos / Movement / Sui Module Fuzzer☆16Dec 2, 2025Updated 11 months ago
- ☆10Jun 5, 2024Updated 2 years ago
- Securade.ai HUB - A generative AI based edge platform for computer vision that connects to existing CCTV cameras and makes them smart.☆296Oct 10, 2026Updated 3 weeks ago
- Open-source web-based GPU performance visualization tool that transforms NVIDIA profiling data into interactive insights for CUDA enginee…☆13Aug 29, 2025Updated last year