☆53Jan 15, 2026Updated 8 months ago
Alternatives and similar repositories for AgentSpec
Users that are interested in AgentSpec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- Progent: Securing AI Agents with Privilege Control☆52May 14, 2026Updated 4 months ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- A benchmarking framework for on-device AI☆21Aug 20, 2026Updated last month
- 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.
- The source code of project "LLift" (Enhancing static analysis with LLM)☆88Mar 5, 2024Updated 2 years ago
- A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.☆857Jun 2, 2026Updated 3 months ago
- Parsing-based Analyzer☆79Jun 8, 2025Updated last year
- [ACL 2024, Main Conference] CoGenesis: A Framework Collaborating Large and Small Language Models for Secure Context-Aware Instruction Fol…☆15Aug 7, 2024Updated 2 years ago
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- This repo contains code related to development of LLM based projects with Langchain and LLamaIndex. It uses RAG, Function calling, agents…☆11Jul 19, 2024Updated 2 years ago
- [NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents☆91Aug 19, 2026Updated last month
- [ICLR'26 Oral] RedTeamCUA: Realistic Adversarial Testing of Computer-Use Agents in Hybrid Web-OS Environments☆64Feb 9, 2026Updated 7 months ago
- Official Implementation of "ToolSafe: Enhancing Tool Invocation Safety of LLM-based Agents via Proactive Step-level Guardrail and Feedbac…☆80Mar 25, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 4 years ago
- Archer: Agentic Code Review for LLVM PRs☆26Sep 8, 2026Updated 2 weeks ago
- Joern Workshops☆33Jan 16, 2025Updated last year
- Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆19Mar 10, 2025Updated last year
- [SDM'23] ML4C: Seeing Causality Through Latent Vicinity☆14Nov 9, 2022Updated 3 years ago
- ☆171Jul 2, 2024Updated 2 years ago
- 漏洞规则库是一个致力于帮助开发者识别和避免常见安全漏洞的开源项目。我们收集、整理和分析各类编程语言和常用库中的安全漏洞模式，并提供相应 的防范措施和最佳实践。☆39Aug 12, 2025Updated last year
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- A blog engine. Code for roselia.moe/blog☆10Apr 18, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆27Mar 12, 2026Updated 6 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆216Oct 24, 2025Updated 11 months ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆22Sep 12, 2024Updated 2 years ago
- Code for Chain-of-Thought Hijacking☆28Nov 10, 2025Updated 10 months ago
- Agent Security Bench (ASB)☆304Apr 16, 2026Updated 5 months ago
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- A production-ready, scalable multi-agent system built with LangGraph, featuring specialized agents for different tasks with best coding p…☆39Sep 22, 2025Updated last year
- Personal portfolio webpage using HTML, CSS and Javascript.☆11Feb 19, 2019Updated 7 years ago
- 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.
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 3 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- [ACL 2025] The official code for "AGrail: A Lifelong Agent Guardrail with Effective and Adaptive Safety Detection".☆45Aug 12, 2026Updated last month
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 5 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆28Feb 13, 2025Updated last year
- [NeurIPS 2025] Poison as Cure: Visual Noise for Mitigating Object Hallucinations in LVMs☆37Sep 21, 2025Updated last year