lambdasec / autofix
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:
- Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completi…☆132Updated last year
- RepairAgent is an autonomous LLM-based agent for software repair.☆40Updated last month
- LLM-based mutation testing☆11Updated 3 months ago
- The official Python SDK for Codellm-Devkit☆91Updated this week
- Fast and robust AST parsing of any language☆39Updated 3 months ago
- EvoEval: Evolving Coding Benchmarks via LLM☆70Updated last year
- A better way of testing, inspecting, and analyzing AI Agent traces.☆35Updated last week
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆42Updated 9 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆33Updated 10 months ago
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆21Updated this week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 5 months ago
- Extract and combine multiple source code views using tree-sitter☆135Updated this week
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆17Updated this week
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 3 months ago
- CodeSage: Code Representation Learning At Scale (ICLR 2024)☆106Updated 6 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆39Updated last year
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆38Updated 3 weeks ago
- 😎 Awesome list of resources about using and building AI software development systems☆110Updated last year
- An tool for intelligently chunking and parsing code files, enhancing readability and maintainability by organizing code around key points…☆50Updated last month
- ☆93Updated 8 months ago
- ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for…☆17Updated 3 months ago
- ☆17Updated this week
- An Execution Isolation Architecture for LLM-Based Agentic Systems☆79Updated 3 months ago
- Guardrails for secure and robust agent development☆248Updated this week
- Static Analysis on Java source code (and/or binary) using WALA and JavaParser.☆10Updated 3 weeks ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 8 months ago
- r2e: turn any github repository into a programming agent environment☆116Updated 3 weeks ago
- ☆138Updated 5 months ago
- Enhancing AI Software Engineering with Repository-level Code Graph☆164Updated last month
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆48Updated 3 weeks ago