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☆116Updated last week
- Extract and combine multiple source code views using tree-sitter☆154Updated 2 months ago
- Fast and robust AST parsing of any language☆56Updated last week
- ☆168Updated 5 months ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆90Updated last month
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆41Updated last month
- CodeSage: Code Representation Learning At Scale (ICLR 2024)☆114Updated last year
- Guardrails for secure and robust agent development☆364Updated 3 months ago
- LLM-based mutation testing☆11Updated 9 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆268Updated this week
- RepairAgent is an autonomous LLM-based agent for software repair.☆75Updated 3 months ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆60Updated last week
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 9 months ago
- ☆148Updated 5 months ago
- 😎 Awesome list of resources about using and building AI software development systems☆112Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆39Updated last year
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆23Updated this week
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆275Updated last year
- EvoEval: Evolving Coding Benchmarks via LLM☆80Updated 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
- A subset of jailbreaks automatically discovered by the Haize Labs haizing suite.☆98Updated 7 months ago
- An empirical study on patch correctness☆15Updated 3 years ago
- Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions lev…☆27Updated 10 months ago
- Mutation-guided mutation-based fuzz testing☆48Updated last year
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆102Updated 3 weeks ago
- 🧠 LLMFuzzer - Fuzzing Framework for Large Language Models 🧠 LLMFuzzer is the first open-source fuzzing framework specifically designed …☆324Updated last year
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆384Updated this week
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated 3 weeks ago
- ☆129Updated last year