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…☆81May 12, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Evolutionary Quantitative Trading Strategy Development System. Fork of OpenEvolve☆44May 30, 2025Updated 11 months 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
- A list of academic papers related to Docker containers & Docker Hub☆28Apr 16, 2026Updated last month
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- 这里存放的是一些自己写过的脚本,用以记录☆12Mar 30, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Using SVF in Python Projects☆19Updated this week
- My solutions to problems in Programming Pearls (Jon Bentley)☆13Apr 16, 2020Updated 6 years ago
- Agentic AI framework for enterprise workflow automation.☆1,557Apr 18, 2025Updated last year
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆69Updated this week
- ☆11May 18, 2021Updated 5 years ago
- Retrieves the top 10 documents from the Wikipedia corpus for a user inputted free-text query☆10Nov 24, 2020Updated 5 years ago
- Financial Market Building Blocks☆12Feb 1, 2022Updated 4 years ago
- ☆24Dec 16, 2023Updated 2 years ago
- sketchybar config☆29May 4, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Scalable GPU Kernel Fission/Fusion Transformation for Memory-Bound Kernels☆14Aug 26, 2015Updated 10 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆42Jun 22, 2024Updated last year
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Jan 13, 2019Updated 7 years ago
- A simple and easily modifiable and expandable text adventure game engine☆12Jun 9, 2020Updated 5 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆21May 2, 2026Updated 2 weeks ago
- MCP server for SecretiveShell/Awesome-llms-txt. Add documentation directly into your conversation via MCP resources.☆24Mar 9, 2025Updated last year
- The official repository for the paper "VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs".☆26Dec 9, 2025Updated 5 months ago
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Optimization as a service TUI☆11Mar 11, 2024Updated 2 years ago
- 🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.☆14Mar 10, 2025Updated last year
- Agentic RL on Any Harness at Scale☆136Updated this week
- 团队更名为 QAX A-TEAM☆10Apr 28, 2019Updated 7 years ago
- QLLM: A powerful CLI for seamless interaction with multiple Large Language Models. Simplify AI workflows, streamline development, and unl…☆35Apr 11, 2025Updated last year
- Used GPT for Realtime AI (Artificial intelligence) tutor to help students, learn by talking screenshots of there work.☆13May 14, 2024Updated 2 years ago