lambdasec / autofixLinks
Static Analysis meets Large Language Models
☆51Updated last year
Alternatives and similar repositories for autofix
Users that are interested in autofix are comparing it to the libraries listed below
Sorting:
- Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completi…☆135Updated 2 years ago
- The official Python SDK for Codellm-Devkit☆114Updated last month
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆83Updated 3 weeks ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆60Updated last week
- ☆165Updated 4 months ago
- LLM-based mutation testing☆11Updated 8 months ago
- CodeSage: Code Representation Learning At Scale (ICLR 2024)☆113Updated last year
- Guardrails for secure and robust agent development☆355Updated 3 months ago
- Extract and combine multiple source code views using tree-sitter☆153Updated last month
- An autonomous LLM-agent for large-scale, repository-level code auditing☆250Updated this week
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated last week
- Fast and robust AST parsing of any language☆55Updated 9 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆71Updated 3 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 9 months ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆47Updated last month
- EvoEval: Evolving Coding Benchmarks via LLM☆76Updated last year
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆40Updated last week
- ACER is an AST-based Callgraph Generator Development Framework☆38Updated last year
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆23Updated this week
- A repository of Language Model Vulnerabilities and Exposures (LVEs).☆112Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated last year
- ☆21Updated 5 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆99Updated this week
- ☆146Updated 5 months ago
- Enhancing AI Software Engineering with Repository-level Code Graph☆217Updated 6 months ago
- A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…☆31Updated 4 months ago
- ☆101Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Updated 11 months ago
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆24Updated last month
- A tool to build a graph from a codebase☆189Updated this week