☆30Sep 15, 2024Updated 2 years ago
Alternatives and similar repositories for AutoSafeCoder
Users that are interested in AutoSafeCoder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- awd attack framework，Django + Mysql☆16Feb 8, 2025Updated last year
- ☆12Aug 24, 2026Updated 2 months ago
- ☆18Sep 24, 2025Updated last year
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 2 months ago
- ☆55Jul 16, 2024Updated 2 years ago
- 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.
- ☆17Jul 25, 2024Updated 2 years ago
- Simultaneous evaluation on both functionality and security of LLM-generated code.☆49Jul 30, 2026Updated 3 months ago
- ☆12Jun 18, 2024Updated 2 years ago
- [NeurIPS 2026 Reviewed (5/4/4 - A/WA/WA)] Lite3R: A Model-Agnostic Framework for Efficient Feed-Forward 3D Reconstruction☆14Sep 25, 2026Updated last month
- [2023 TDSC] Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?☆24Jun 2, 2023Updated 3 years ago
- ☆11Sep 1, 2020Updated 6 years ago
- The interface between probabilistic model checking and data-driven policy learning.☆21Sep 6, 2026Updated last month
- A suite of AFL modifications for fixed input dataset experiments☆14May 5, 2020Updated 6 years ago
- Repoformer: Selective Retrieval for Repository-Level Code Completion (ICML 2024)☆67Jun 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- BehaVerify: A Formal Verification Tool for Behavior Trees☆30Oct 23, 2026Updated last week
- A neurosymbolic framework for vulnerability detection in code☆445Jul 2, 2026Updated 3 months ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- ☆52Jan 6, 2025Updated last year
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- Predator is a directed fuzzing-based Web application vulnerability validation prototype. It automates verifying static vulnerability repo…☆15May 19, 2025Updated last year
- ☆12Dec 22, 2025Updated 10 months ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆55Feb 20, 2024Updated 2 years ago
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆36Jul 21, 2026Updated 3 months 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.
- ☆133Jul 14, 2024Updated 2 years ago
- ☆14Dec 30, 2021Updated 4 years ago
- ☆19Mar 22, 2026Updated 7 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- ☆20Feb 20, 2017Updated 9 years ago
- Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…☆98Nov 4, 2023Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 3 years ago
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months 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.
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- CoPur: Certifiably Robust Collaborative Inference via Feature Purification (NeurIPS 2022)☆11Dec 7, 2022Updated 3 years ago
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Fork of https://code.google.com/p/lorcon/☆12Sep 23, 2013Updated 13 years ago
- Implementation of QFuzz.☆17Dec 3, 2021Updated 4 years ago