lambdasec / autofixLinks
Static Analysis meets Large Language Models
☆50Updated last year
Alternatives and similar repositories for autofix
Users that are interested in autofix are comparing it to the libraries listed below
Sorting:
- The official Python SDK for Codellm-Devkit☆109Updated last week
- Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completi…☆133Updated last year
- Fast and robust AST parsing of any language☆51Updated 7 months ago
- Extract and combine multiple source code views using tree-sitter☆152Updated 3 months ago
- Guardrails for secure and robust agent development☆338Updated last month
- LLM-based mutation testing☆11Updated 6 months ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆39Updated 4 months ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆59Updated last week
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 7 months ago
- CodeSage: Code Representation Learning At Scale (ICLR 2024)☆112Updated 10 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆59Updated last month
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆21Updated this week
- ☆142Updated 2 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated last month
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆22Updated 3 weeks ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆271Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆37Updated last year
- A tool to build a graph from a codebase☆154Updated last week
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆52Updated 3 weeks ago
- 😎 Awesome list of resources about using and building AI software development systems☆112Updated last year
- A subset of jailbreaks automatically discovered by the Haize Labs haizing suite.☆95Updated 4 months ago
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆80Updated last year
- A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…☆31Updated 2 months ago
- MCP Bridge is a lightweight, fast, and LLM-agnostic proxy for connecting to multiple Model Context Protocol (MCP) servers through a unifi…☆34Updated last month
- ☆20Updated 3 months ago
- ☆142Updated 3 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆215Updated last month
- ☆98Updated 11 months ago
- A repository of Language Model Vulnerabilities and Exposures (LVEs).☆113Updated last year
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆47Updated this week