☆26Sep 15, 2024Updated last year
Alternatives and similar repositories for AutoSafeCoder
Users that are interested in AutoSafeCoder are comparing it to the libraries listed below
Sorting:
- awd attack framework，Django + Mysql☆16Feb 8, 2025Updated last year
- A neurosymbolic framework for vulnerability detection in code☆329Dec 5, 2025Updated 2 months ago
- An implementation of the ACL 2024 Findings paper "Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tu…☆75Oct 29, 2025Updated 4 months ago
- [2023 TDSC] Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?☆25Jun 2, 2023Updated 2 years ago
- ☆94Jan 27, 2026Updated last month
- Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…☆85Nov 4, 2023Updated 2 years ago
- Awesome Large Language Models for Vulnerability Detection☆383Updated this week
- IDA Hexrays To Joern☆44Nov 7, 2024Updated last year
- ☆12Dec 22, 2025Updated 2 months ago
- A collection of alpha signals and settings submitted to WorldQuant BRAIN.☆23Jul 28, 2025Updated 7 months ago
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 5 years ago
- SecVulEval is a dataset of C/C++ vulnerabilities.☆18Dec 20, 2025Updated 2 months ago
- Unleash the fuzz on your C codebase.☆12Jul 30, 2025Updated 7 months ago
- Real-time multi-language unit test generation tool via LSP☆31Updated this week
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- ☆13Oct 11, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆12Jun 18, 2024Updated last year
- Parsing-based Analyzer☆70Jun 8, 2025Updated 8 months ago
- ☆44Jan 6, 2025Updated last year
- ☆41Jan 13, 2023Updated 3 years ago
- 平时关注的一些情报来源☆45Apr 4, 2021Updated 4 years ago
- Implementation of "Towards Understanding Mixture of Experts in Deep Learning", NeurIPS 2022☆10Jan 6, 2023Updated 3 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Fork of https://code.google.com/p/lorcon/☆12Sep 23, 2013Updated 12 years ago
- ☆12Mar 18, 2024Updated last year
- 记录自己对《代码审计》的理解和总结，对危险函数的深入分析以及在p牛的博客和代码审计圈的收获☆10Feb 27, 2018Updated 8 years ago
- pyDYNAM-O: The Dynamic Oscillation Toolbox for Python☆11Jan 30, 2023Updated 3 years ago
- Exploit basado en vulnerabilidades criticas Bluetooth (CVE-2023-45866, CVE-2024-21306)☆12Dec 15, 2024Updated last year
- CAPD library☆16Jan 4, 2026Updated last month
- CoPur: Certifiably Robust Collaborative Inference via Feature Purification (NeurIPS 2022)☆11Dec 7, 2022Updated 3 years ago
- [CVPR 2023] "TrojViT: Trojan Insertion in Vision Transformers" by Mengxin Zheng, Qian Lou, Lei Jiang☆14Jan 5, 2024Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆13Aug 9, 2023Updated 2 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- ☆11Oct 27, 2020Updated 5 years ago
- Instance-Level Salient Object Detection, Computer Vision and Image Understanding (CVIU), 2021.☆12Apr 23, 2021Updated 4 years ago
- Writeups of my favorite challenges from Season 1 of BlockHarbor CTF☆10Oct 20, 2023Updated 2 years ago
- ☆11Oct 1, 2025Updated 4 months ago