lambdasec / autofix
Static Analysis meets Large Language Models
☆44Updated 4 months ago
Related projects: ⓘ
- Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completi…☆125Updated 11 months ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆38Updated last month
- Data and evaluation scripts for "CodePlan: Repository-level Coding using LLMs and Planning", FSE 2024☆44Updated 2 weeks ago
- EvoEval: Evolving Coding Benchmarks via LLM☆57Updated 5 months ago
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆50Updated 7 months ago
- ☆14Updated 4 months ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆31Updated last month
- ACER is an AST-based Callgraph Generator Development Framework☆26Updated 3 months ago
- Red-Teaming Language Models with DSPy☆116Updated 5 months ago
- This is a dataset intended to train a LLM model for a completely CVE focused input and output.☆39Updated 2 months ago
- CodeSage: Code Representation Learning At Scale (ICLR 2024)☆76Updated 2 months ago
- Count Tokens of Code (forked from gocloc)☆42Updated last month
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆53Updated 2 months ago
- ☆31Updated this week
- 🧠 LLMFuzzer - Fuzzing Framework for Large Language Models 🧠 LLMFuzzer is the first open-source fuzzing framework specifically designed …☆218Updated 7 months ago
- A trace analysis tool for AI agents.☆97Updated this week
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago
- Fast and robust AST parsing of any language☆22Updated 4 months ago
- Prototype advanced LLM algorithms for reasoning and planning.☆90Updated last month
- AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)☆71Updated 2 months ago
- ☆125Updated 2 weeks ago
- A subset of jailbreaks automatically discovered by the Haize Labs haizing suite.☆77Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆33Updated 6 months ago
- Enhancing AI Software Engineering with Repository-level Code Graph☆60Updated 3 weeks ago
- ☆77Updated this week
- source for llmsec.net☆11Updated last month
- Official repo for Customized but Compromised: Assessing Prompt Injection Risks in User-Designed GPTs☆16Updated 9 months ago
- Masked Python SDK wrapper for OpenAI API. Use public LLM APIs securely.☆110Updated last year
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆33Updated last year
- RepairAgent is an autonomous LLM-based agent for software repair.☆17Updated 2 months ago