An open specification for agentic AI security evaluation and testing, from Cisco.
☆131May 12, 2026Updated last month
Alternatives and similar repositories for foundry-security-spec
Users that are interested in foundry-security-spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker + CVE-2015-2925 = escaping from --volume☆11Jun 30, 2015Updated 10 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆37Jun 26, 2023Updated 2 years ago
- ☆11May 4, 2015Updated 11 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An embeddable double sided accounting ledger built on PG/SQLx☆11Feb 16, 2026Updated 3 months ago
- learn llvm from scratch☆14Apr 29, 2023Updated 3 years ago
- The guideline for pod.☆10Jun 19, 2020Updated 5 years ago
- 安卓逆向相关的一些二进制工具 / Some bin utils for android reverse engineer☆13Apr 28, 2020Updated 6 years ago
- This repository contains the sources and documentation for the SWAPGS attack PoC (CVE-2019-1125)☆41Jan 27, 2020Updated 6 years ago
- 万能图床 mac系统Alfred 开通 powerpack 腾讯云 阿里云 imgur☆15Apr 17, 2019Updated 7 years ago
- A toy implementation about Program Dependence Graph using LLVM☆13Sep 27, 2023Updated 2 years ago
- Tango: Extracting Higher-Order Feedback through State Inference☆16Aug 8, 2024Updated last year
- ☆12Jan 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆18Jul 30, 2018Updated 7 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19May 12, 2026Updated last month
- A data-flow-guided fuzzer☆125Aug 19, 2023Updated 2 years ago
- ☆15Jun 10, 2022Updated 4 years ago
- kernel module for modifying device information...☆22Sep 24, 2025Updated 8 months ago
- 系统安装器PackageInstaller(7.1.2、8.1.0、9.0.0、10.0.0)相关的源码☆16Feb 29, 2020Updated 6 years ago
- Various Jeb plugins, including obfuscation restore☆15Jun 3, 2015Updated 11 years ago
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆17Aug 27, 2022Updated 3 years ago
- ☆12May 25, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Mar 20, 2025Updated last year
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆18Jun 24, 2023Updated 2 years ago
- The source code of the paper "Towards Problem of First Miss under Mobile EdgeCaching"☆11Apr 12, 2021Updated 5 years ago
- Benchmark code for comparing different databases☆11Feb 22, 2024Updated 2 years ago
- choose demo☆21Nov 6, 2025Updated 7 months ago
- Materials for the "Principles of Static Program Analysis" course☆11Jul 17, 2025Updated 10 months ago
- PoC app for linjector-rs☆19Mar 23, 2024Updated 2 years ago
- Security Blogs - A simple aggregator for security news/blog☆28May 16, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Precise and General Dynamic Deobfuscation Method for PowerShell Scripts☆22Mar 30, 2025Updated last year
- CVE-2024-0044☆12Aug 24, 2024Updated last year
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆24May 29, 2026Updated 2 weeks ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 3 years ago
- ☆12Dec 3, 2021Updated 4 years ago
- ☆12Feb 23, 2025Updated last year
- The book introduces the internal of AOSP☆84Jun 7, 2026Updated last week