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...

CVE-2026-25232-PoC

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

mitmproxy

mitmproxy !autofix.ci:...

scorecard

OpenSSF Scorecard Overview What Is Scorecard? Prominent Scorecard Users View a Project's Score Scorecard's Public Data Using Scorecard Scorecard GitHub Action Scorecard REST API Scorecard Badges Scorecard Command Line Interface Prerequisites Installation Authentication Basic Usage Checks Default...

ConcoLLMic

ConcoLLMic: エージェントによるコンコリック実行 論文 : IEEE S&P 2026 ConcoLLMicは、LLMエージェントを活用した、言語・理論に依存しない初のコンコリック実行ツールです。従来の、言語固有の実装を必要とし制約解決に苦労するシンボリック実行ツールとは異なり、ConcoLLMicは： あらゆるプログラミング言語および環境との相互作用に対応 — C、C++、Python、Java、...、さらにはマルチ言語システムをサポート。追加の環境モデリングは不要で、効率的に処理します。 多様な制約理論を処理 —...

TriforceAFL

新着: TriforceAFLとTLSFを試してみたい方のために、Richard Johnsonが両方をインストールするDockerfileさらにLinuxカーネルまでビルドしてくれますを作成しました。こちらから入手できます https://hub.docker.com/r/moflow/afl-triforce/tags/。 もう1つの新着: afl-tminがフォークサーバーに対応しました! https://github.com/nccgroup/TriforceAFL Jesse Hertz [email protected] Tim Newsham...

CVE-2023-0045

Linux における Spectre-BTI ユーザー空間緩和策の回避 これは作業中のドキュメントです。誤りがあると思われる場合や引用漏れがある場合は、フィードバックをお送りください。 バージョン 1.0 José Oliveira esoj Rodrigo Branco BSDaemon はじめに Spectre-BTI攻撃の成功率をテストした際、カーネルAPIを緩和策として使用したときに奇妙なパターンを検出しました^1。私たちのテストにより、Linuxカーネルが攻撃を正しく緩和できず、syscall後にプロセスが短時間露出したままになることが明らかになりました。...

qubes-core-admin

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

gh-safe-repo

gh-safe-repo 安全なデフォルト設定を自動的に適用してGitHubリポジトリを作成します。作成後の5分間の設定チェックリストを1つのコマンドに置き換えます。 gh-safe-repo create ブランチ保護、イミュータブルタグ、Dependabot、制限されたActions権限、プッシュ保護付きシークレットスキャン — これらすべてが、最初のコードを書く前に設定されます。 ステータス: gh-safe-repo は活発に開発中です。コアユースケース — 安全なデフォルト設定で新しいリポジトリを作成する —...

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...

Jump-over-ASLR-BTB

分岐予測子 & ASLR 著者: Byte Reaper 説明 このリポジトリには、アドレス空間配置のランダム化（ASLR）の文脈における分岐予測子、投機的実行、キャッシュベースのサイドチャネルに関連する概念を示す研究用C実装が含まれています。 必要条件 : Linux x8664 GCC CPU that supports BTB ビルド : gcc btb.c -o BTB ./BTB クイック出力（例）: + check System Security for Check branch predictors... + Sleep Success. - Not Detect Sing...

CVE-2021-33624

CVE-2021-33624 の概念実証 コンパイル方法 gcc -pthread -o bpfspectretypeconfusion bpfspectretypeconfusion.c -Wall -ggdb -std=gnu99 実行方法 sudo ./bpfspectretypeconfusion 1 2 ffffffffa4925620 0x10 ここで、1 と 2 は異なるハードウェアコアで動作する CPU スレッド、ffffffffa4925620 は漏洩させたい対象メモリ、0x10 は漏洩させるバイト数です。このエクスプロイトは修正されていますが、sudo...

btr

分支目标重用（BTR）工件 本仓库包含论文《分支目标重用：通过陈旧分支预测条目在 JIT 引擎中实现实用的 Spectre-v2 攻击》的工件（已被 ACM CCS 2026 接收）。 有关 BTR 攻击的更多信息，请参阅我们的项目页面和论文！ btr ├─ uarch-experiments/ uArch 实验代码 （第 5 节） ├─ attack-surface/ 攻击面分析 （第 6 节） │ ├─ linux-cbpf Linux cBPF 实验 （第 6.1 节） │ ├─ spidermonkey/ SpiderMonkey 实验 （第 6.2 节） │ ├─...

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

🛡️ Spectre Variant 2 CVE-2017-5715 — ハードウェア脆弱性研究 最新CPUにおける投機的実行攻撃を探求する、詳細な研究論文と実践的なProof of Concept（PoC） 📖 概要 このプロジェクトは、投機的実行と分岐予測を実装したCPUに影響を与えるハードウェアレベルのサイドチャネル脆弱性である Spectre Variant 2（CVE-2017-5715） （別名 Branch Target Injection ）に関する研究およびラボベースの探求です。 このプロジェクトの目的は次のとおりです： Spectre Variant...

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

Java向けEnterprise Security API Legacy OWASP® ESAPI（The OWASP Enterprise Security API）は、プログラマがリスクの低いアプリケーションをより簡単に作成できるようにする、無料のオープンソースのWebアプリケーションセキュリティコントロールライブラリです。Java向けESAPIライブラリは、プログラマが既存アプリケーションにセキュリティを後付けで組み込みやすくするように設計されています。また、ESAPI for Javaは新規開発の強固な基盤としても機能します。 --- OWASP ESAPI...

CVE-2021-3345

CVE-2021-3345 脆弱性のあるlibgcryptのビルド方法 git clone --single-branch --branch LIBGCRYPT-1.9-BRANCH https://dev.gnupg.org/source/libgcrypt.git cd libgcrypt git checkout aa3f595341eb ./autogen.sh ./configure --enable-maintainer-mode && make エクスプロイトの使い方 make ./main...

UBUNTU-CVE-2026-54160

Network UPS Tools is a collection of programs which provide a common interface for monitoring and administering UPS, PDU and SCD hardware. Prior to commits 658b24e and 1aa31d1, the GitHub Actions script used to prepare NUT tarballs and update GitHub Checks statuses and PR comments about it was...

spectre-attack-example

Spectre 攻撃の例 2018年1月2日 CVE-2017-5753 および CVE-2017-5715 「ゴースト」Spectre 脆弱性の悪用例 これは何か？ メモリにテキスト "The Magic Words are Squeamish Ossifrage." を配置し、脆弱性を利用して読み出そうとします。システムが脆弱であれば、標準出力に同じテキストが表示されます。 このコードでは、victimfunction 内のコンパイル命令が厳密なプログラム順に実行されると、array1size = 16 のため、関数は array10..15...

cacti-cve-2023-39361

Cacti ™ Ejecutar Cacti desde la rama develop IMPORTANTE Al usar el código fuente o descargar el código directamente del repositorio, es importante ejecutar el script de actualización de la base de datos si experimenta errores relacionados con tablas o columnas faltantes en la base de datos. Los...

atlas-tj-actions-poc

CVE-2025-54416: tj-actions/branch-names コマンドインジェクション PoC このリポジトリは CVE-2025-54416 をデモンストレーションします。これは tj-actions/branch-names における重大なコマンドインジェクションの脆弱性であり、5,000以上の公開リポジトリに影響を与えます。 脆弱性 tj-actions/branch-names GitHub Action バージョン "$GITHUBOUTPUT" 攻撃チェーン 1. 攻撃者がシェルコマンドを含む悪意のある名前のブランチを作成する 2. 被害者のワークフローが...