Static Analysis meets Large Language Models
☆55May 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
- Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of h…☆87Feb 27, 2025Updated last year
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆24May 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
- 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.
- 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
- ☆164May 24, 2024Updated 2 years ago
- InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw☆66Oct 4, 2024Updated last year
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- ☆25Oct 13, 2020Updated 5 years ago
- 这里存放的是一些自己写过的脚本，用以记录☆12Mar 30, 2018Updated 8 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- A dumb afl-fuzz triage tool.☆15Dec 8, 2022Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆30May 6, 2024Updated 2 years ago
- Example Next.js application for App Runner with DynamoDB using Copilot CLI☆13Jun 30, 2026Updated last month
- Fastest CPU (AVX/SSE) SIFT or other 128-float vector matcher for computer vision☆14Mar 23, 2021Updated 5 years ago
- WIP - Aptos / Movement / Sui Module Fuzzer☆15Dec 2, 2025Updated 8 months ago
- Tall Street - App engine Search Engine☆20Sep 23, 2020Updated 5 years ago
- ☆11May 18, 2021Updated 5 years ago
- API Client for US Treasury Fiscal Data☆10Jan 28, 2024Updated 2 years ago
- https://codex-infinity.com AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆23Updated this week
- ☆13Apr 9, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🚀 A blazingly fast, modern chat interface built with Rust/WASM and Leptos, featuring local AI model execution via WebLLM. Privacy-first …☆15Aug 24, 2025Updated 11 months ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆42Jun 22, 2024Updated 2 years ago
- A poc to demonstrate how ransomware can spread to enterprise apps through libraries☆11Mar 28, 2018Updated 8 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
- We aim to redefine Data Parallel libraries portabiliy, performance, programability and maintainability, by using C++ standard features, i…☆53Updated this week
- ☆26Dec 16, 2023Updated 2 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Jul 24, 2023Updated 3 years ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆72Updated this week
- Everything related to Bookalope and its REST API.☆16May 16, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 团队更名为 QAX A-TEAM☆10Apr 28, 2019Updated 7 years ago
- 苹果商店模拟购买下载工具。☆17Dec 30, 2021Updated 4 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆100Updated this week
- QLLM: A powerful CLI for seamless interaction with multiple Large Language Models. Simplify AI workflows, streamline development, and unl…☆35Apr 11, 2025Updated last year
- [TOSEM 2023] A Survey of Learning-based Automated Program Repair☆75May 3, 2024Updated 2 years ago
- This application guides you through the development of a language model that classifies clinical documents according to their medical spe…☆12Aug 12, 2024Updated last year
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆28Feb 26, 2022Updated 4 years ago