ConcoLLMic

ConcoLLMic: Agentic Concolic Execution Paper : IEEE S&P 2026 ConcoLLMic is the first language- and theory-agnostic concolic executor powered by LLM agents. Unlike traditional symbolic execution tools that require language-specific implementations and struggle with constraint solving, ConcoLLMic:...

gh-safe-repo

gh-safe-repo Create GitHub repositories with safe defaults applied automatically. Replaces the five-minute post-creation settings checklist with a single command. root@kitploit: gh-safe-repo create Branch protection, immutable tags, Dependabot, restricted Actions permissions, secret scanning with...

Hardware-Vulnerability-with-Proof-of-Concept-

🛡️ Spectre Variant 2 CVE-2017-5715 — Hardware Vulnerability Research An in-depth research paper and hands-on Proof-of-Concept PoC exploring speculative execution attacks on modern CPUs. 📖 Overview This project is a research and lab-based exploration of Spectre Variant 2 CVE-2017-5715 , also known...

CVE-2023-0045

Bypassing Spectre-BTI User Space Mitigations on Linux This is a working document, please send us feedback if you think we got something wrong or if we missed a citation Version 1.0 José Oliveira esoj Rodrigo Branco BSDaemon Introduction When testing the success rate of Spectre-BTI attacks, we...

scorecard

OpenSSF Scorecard...

functrace

functrace - A function tracer functrace is a tool that helps to analyze a binary file with dynamic instrumentation using DynamoRIO http://dynamorio.org/. These are some implemented features based on DynamoRIO: disassemble all the executed code disassemble a specific function dump if these are...

ESAPI__esapi-java-legacy_CVE-2022-24891_2-2-3-1

Enterprise Security API for Java Legacy OWASP® ESAPI The OWASP Enterprise Security API is a free, open source, web application security control library that makes it easier for programmers to write lower-risk applications. The ESAPI for Java library is designed to make it easier for programmers t...

CVE-2021-33624

Proof of Concept for CVE-2021-33624 compile with gcc -pthread -o bpfspectretypeconfusion bpfspectretypeconfusion.c -Wall -ggdb -std=gnu99 execute with sudo ./bpfspectretypeconfusion 1 2 ffffffffa4925620 0x10 where 1 and 2 are CPU threads which run on two distinct hardware cores, ffffffffa4925620 ...

qubes-core-admin

Qubes 核心，版本 3 这是 Qubes OS 核心的 master 分支。 API 文档可在此处获取：https://dev.qubes-os.org/projects/core-admin/en/latest/。...

Jump-over-ASLR-BTB

分支预测器与 ASLR 作者：Byte Reaper 描述 该仓库包含一个研究性 C 实现，用于演示在地址空间布局随机化（ASLR）背景下与分支预测器、推测执行和基于缓存的侧信道相关的概念。 要求： root@kitploit: Linux x8664 GCC CPU that supports BTB 构建： root@kitploit: gcc btb.c -o BTB ./BTB 快速输出（示例）： root@kitploit: + check System Security for Check branch predictors... + Sleep Success. - Not...

mitmproxy

mitmproxy !autofix.ci:...

spectre-attack-example

Spectre Attack Example January 2, 2018 CVE-2017-5753 and CVE-2017-5715 "Spectre" exploit example What is this? We place the text "The Magic Words are Squeamish Ossifrage." in memory, and then we attempt to read it using the vulnerability. If the system is vulnerable, you will see the same text on...

cacti-cve-2023-39361

Cacti ™ 从 develop 分支运行 Cacti 重要提示 当使用源码或直接从仓库下载代码时，如果您遇到任何关于数据库中缺少表或列的报错，务必运行数据库升级脚本。 数据库的变更会提交到 cacti.sql 文件中，该文件用于全新安装，同时也会提交到安装程序的数据库升级中，用于现有安装。由于在 develop 分支中版本号在发布前不会改变，这会导致数据库升级无法运行，因此务必使用数据库升级脚本强制当前版本，或更新数据库中的版本号。 从 Cacti 1.x 之前的版本升级 当 Cacti 在近 20 年前最初开发时，MySQL 还没有像现在这样成熟。当 The Cacti Group...

TriforceAFL

Nuevo: Para aquellos que quieran jugar con TriforceAFL y TLSF, Richard Johnson creó un Dockerfile que instala ambos e incluso compila un kernel de Linux por ti. Está disponible aquí https://hub.docker.com/r/moflow/afl-triforce/tags/. También nuevo: ¡afl-tmin ahora funciona con el forkserver!...

atlas-tj-actions-poc

CVE-2025-54416: tj-actions/branch-names 命令注入 PoC 该仓库演示了 CVE-2025-54416 ，这是 tj-actions/branch-names 中的一个严重命令注入漏洞，影响超过 5000 个公共仓库。 漏洞 tj-actions/branch-names GitHub Action（版本 "$GITHUBOUTPUT" 攻击链 1. 攻击者创建一个包含恶意命令的分支名称 2. 受害者工作流使用 tj-actions/[email protected] 提取分支名称 3. 提取的分支名称（含攻击者载荷）被用于后续的 shel...

Angora

Angora Angora 是一个基于变异的覆盖引导模糊测试器。Angora 的主要目标是通过求解路径约束来提升分支覆盖率，而无需借助符号执行。 已发表论文 Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018. 构建 Angora 构建依赖 Linux-amd64（已在 Ubuntu 16.04/18.04 和 Debian Buster 上测试） Rust stable（= 1.31），可通过 rustup 获取 LLVM 4.0.0 - 12.0.1：运行 PREFIX=/path-to-install...

yolo-cage

yolo-cage: autonomous coding agents that do no harm You're a responsible engineer. You'd never just let an AI run roughshod through your most sensitive systems and codebases. That's why you'd never just shut off the safeguards for a tool like Claude Code. It asks permission for every dangerous...

ExecASLR-ekoparty

ExecASLR - 利用Intel分支预测器绕过ASLR 什么是ASLR 地址空间布局随机化（ASLR）是一种用于增加内存破坏攻击利用难度的缓解机制。例如，在缓冲区溢出漏洞场景中，试图构造返回导向编程（ROP）利用的攻击者需要知道链中gadget的地址。如果被利用的二进制文件的代码段被随机化，那么攻击者就很难为exploit选择正确的地址，从而使得利用不可行。 以下示例展示了地址如何被随机化： root@kitploit: include void DoNothing; void codePtr = DoNothing; void DoNothing int mainint...

CVE-2017-16995

CVE-2017-16995 记录一下自己折腾的CVE-2017-16995漏洞和相关分析 （希望能自己找个，笑 概述 此漏洞由于bpf虚拟执行时，校验器分支判断错误所引起的LPE 原理上是整数扩展漏洞 分析 触发 https://ph4ntonn.github.io/CVE-2017-16995-trigger.html 利用 https://ph4ntonn.github.io/CVE-2017-16995-exploit.html 结构 https://ph4ntonn.github.io/CVE-2017-16995-structure.html EXP 此处下载，请自行编译...

CVE-2026-25232-PoC

CVE-2026-25232 — Gogs 受保护分支删除绕过（写入 → 管理员权限提升） 概述 字段| 详情 ---|--- CVE| CVE-2026-25232 产品| Gogs（Go Git 服务） 受影响版本| :3001 攻击者账户： attacker:Password123!（对仓库具有写入权限） 目标仓库： admin/important-repo 受保护分支： main（默认分支） 步骤 1 — 确认分支保护已启用 确认该分支已受保护且无法通过正常方式删除： root@kitploit: 尝试通过 API 正常删除分支 - 此操作应失败 curl -s -X DELET...