Static Analysis meets Large Language Models
☆54May 6, 2024Updated 2 years ago
Alternatives and similar repositories for autofix
Users that are interested in autofix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆23May 11, 2021Updated 5 years ago
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Jan 8, 2022Updated 4 years ago
- ☆16Aug 16, 2023Updated 2 years ago
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆82Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆165May 24, 2024Updated 2 years ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw☆66Oct 4, 2024Updated last year
- ☆27Sep 21, 2022Updated 3 years ago
- This is the starter code for an example of storing a github repo in a vector store and chatting with it as a knowledge base☆17Jun 22, 2023Updated 2 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- ☆25Oct 13, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- CodeDB 是一个专为软件开发本身开发的代码数据库，可以用于架构治理、代码生成等领域。基于架构孪生的理念，内建架构适度度函数、代码设计查询和存储 DSL、依赖分析引擎、机器学习算法等。☆44Dec 9, 2023Updated 2 years ago
- Code and data accompanying "Learning Deployable Navigation at Kilometer Scale from a Single Traversal"☆11Jun 15, 2018Updated 7 years ago
- Using machine learning techniques to classify code smell instances☆10Jul 9, 2019Updated 6 years ago
- A project to take an audio file and separate it into speakers and play it with avatars and save the recording as an mp4 for sharing on so…☆13Nov 6, 2024Updated last year
- ☆11May 18, 2021Updated 5 years ago
- ☆26Aug 29, 2015Updated 10 years ago
- Financial Market Building Blocks☆12Feb 1, 2022Updated 4 years ago
- MCP server that provides code context and analysis for AI assistants. Extracts directory structure and code symbols using WebAssembly Tre…☆20Sep 22, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆25Dec 16, 2023Updated 2 years ago
- sketchybar config☆29May 4, 2026Updated last month
- LowEndInsight is a simple "bus-factor" risk analysis library for Open Source Software that is managed within a Git repository. Provide th…☆14Jan 17, 2023Updated 3 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- Walk paths and run things☆18Jul 22, 2024Updated last year
- Demo repository for running eBPF in GitHub Actions☆23Mar 27, 2025Updated last year
- ☆13Mar 22, 2023Updated 3 years ago
- MCP server for SecretiveShell/Awesome-llms-txt. Add documentation directly into your conversation via MCP resources.☆24Mar 9, 2025Updated last year
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Jul 24, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The official repository for the paper "VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs".☆26Dec 9, 2025Updated 5 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Create trimmed docker image that contains only parts of the original file system of an existing docker image while still working.☆14Feb 6, 2019Updated 7 years ago
- The supplementary material for the paper "Fine-tuning Large Language Models to Improve Accuracy and Comprehensibility of Automated Code R…☆16Aug 12, 2024Updated last year
- 🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.☆16Mar 10, 2025Updated last year
- CLI tool to convert a python project's %-formatted strings to f-strings.☆17Oct 18, 2019Updated 6 years ago
- 团队更名为 QAX A-TEAM☆10Apr 28, 2019Updated 7 years ago