ScratchABit

ScratchABit ScratchABit は、データ/制御フロー解析機能を備えたインタラクティブなインクリメンタル逆アセンブラです。ScratchABit は、オープンソースリバースエンジニアリングコミュニティ（ベンダーが適切にサポートしていないハードウェア向けのオープンソースドライバ/ファームウェアの作成、ハードウェアおよびソフトウェアの相互運用性、セキュリティ研究のためのリバースエンジニアリング）の取り組みに捧げられています。 ScratchABit は、コミュニティでよく知られている IDAPython API をサポートしており、逆アセンブリ/拡張モジュールを作成できます。...

CVE-2025-32013

CVE-2025-32013 CVE-2025-32013 のセキュリティアドバイザリと PoC 使用方法 1. ここから始めてください: この README ファイルを読むことで、リポジトリの構成と内容の概要を把握できます。 2. 内部セキュリティアドバイザリ: 詳細な脆弱性の解説、影響、および修正計画については、01SecurityAdvisory.md を開いてください。 3. PoC の説明: 脆弱性の特定と悪用のための自動化戦略を確認するには、02ProofofConcept.md を開いてください。 4. 図: 以下の図は、データフローとパスの簡単な視覚的概要を示しています。...

pytm

pytm: 脅威モデリングのためのPythonicなフレームワーク はじめに 従来の脅威モデリングは、あまりにも遅れて実施されることが多く、まったく実施されないこともあります。さらに、手作業でデータフローやレポートを作成するのは非常に時間がかかります。pytmの目標は、脅威モデリングを左にシフト（開発プロセスの早い段階へ移行）させ、より自動化され、開発者中心のものにすることです。 特徴 あなたの入力とアーキテクチャ設計の定義に基づいて、pytmは以下の項目を自動生成できます: データフロー図（DFD） シーケンス図 システムに関連する脅威 必要条件 Linux/MacOS Python...

bearer

ソースコードをスキャンして、主要なセキュリティ およびプライバシー のリスクを検出します。 Bearerは、ソースコードをスキャンしてデータフローを分析し、セキュリティとプライバシーのリスクを特定、フィルタリング、優先順位付けするために設計された静的アプリケーションセキュリティテスト（SAST）ツールです。 Bearerは、無料のオープンソリューションであるBearer CLIと、Cycodeから入手可能な商用ソリューションBearer Proを提供しています。 はじめに - よくある質問 - ドキュメント - バグを報告 !GitHub...

paimei

PaiMeiは、複数の拡張可能なコンポーネントから構成されるリバースエンジニアリングフレームワークです。このフレームワークは、本質的にリバースエンジニアのスイスアーミーナイフと見なすことができ、ファジング支援、コードカバレッジ追跡、データフロー追跡など、静的および動的な幅広いタスクに対してすでにその有効性が実証されています。 詳細については、docs\index.htmlを参照してください。...

ABD

高度なバイナリ難読化解読 このリポジトリには、2020年に開催されたGlobal Cybersecurity Camp GCC TokyoおよびSecurity Camp National Workshopにおける高度なバイナリ難読化解読コースの教材が含まれています。 コース概要...

owasp-threat-dragon-desktop

OWASP Threat Dragon Threat Dragon は、フリーでオープンソース、クロスプラットフォームの 脅威モデリング アプリケーションです。システムの図式化と、脅威/対策を自動生成するルールエンジンを備えています。これは OWASP Incubator Project です。プロジェクトの焦点は、優れた UX、強力なルールエンジン、そして他の開発ライフサイクルツールとの統合にあります。 OWASP による 脅威モデリングとリスク評価 の良い概要があり、Threat Dragon が実現する内容をさらに詳しく説明しています： データフロー図の設計 脅威の自動判定と順位付...

pytm

pytm: Pythonicな脅威モデリングフレームワーク はじめに 従来の脅威モデリングは、しばしば遅れて登場するか、まったく行われないことがあります。さらに、手動でデータフローやレポートを作成するのは非常に時間がかかります。pytmの目標は、脅威モデリングを左にシフトし、より自動化され、開発者中心のものにすることです。 機能 あなたの入力とアーキテクチャ設計の定義に基づいて、pytmは以下の項目を自動生成できます： データフロー図（DFD） シーケンス図 システムに関連する脅威 必要条件 Linux/MacOS Python 3.11+ Graphviz パッケージ Java...

pytm

pytm: A Pythonic framework for threat modeling Introduction Traditional threat modeling too often comes late to the party, or sometimes not at all. In addition, creating manual data flows and reports can be extremely time-consuming. The goal of pytm is to shift threat modeling to the left, making...

threatspec

threatspec - 継続的な脅威モデリング、コードを通じて...

threatspec

threatspec - continuous threat modeling, through code Threatspec is an open source project that aims to close the gap between development and security by bringing the threat modelling process further into the development process. This is achieved by having developers and security engineers write...

caracal

Caracal Caracal は、Starknet スマートコントラクトの SIERRA 表現に対する静的解析ツールです。 機能 脆弱な Cairo コードを検出する検出器 情報を報告するプリンター テイント解析 データフロー解析フレームワーク Scarb プロジェクトで簡単に実行可能 インストール プリコンパイル済みバイナリ プリコンパイル済みバイナリはリリースページから入手できます。Cairo コンパイラ 1.x.x を使用している場合は v0.1.x のバイナリを、Cairo コンパイラ 2.x.x を使用している場合は v0.2.x を使用してください。 ソースからビルド Ru...

caracal

Caracal Caracal is a static analyzer tool over the SIERRA representation for Starknet smart contracts. Features Detectors to detect vulnerable Cairo code Printers to report information Taint analysis Data flow analysis framework Easy to run in Scarb projects Installation Precompiled binaries...

polytracker

PolyTracker PolyTracker 最初是为“解析器的自动词法标注与导航”（ Automated Lexical Annotation and Navigation of Parsers ）而创建的工具，这个逆向首字母缩略词（backronym）纯粹是为了将其称为“ALAN 解析器项目”（ The ALAN Parsers Project ）而设计的。然而，它已发展成为一个通用工具，用于高效地执行程序的数据流和控制流分析。PolyTracker 是一个 LLVM...

route-sixty-sink

✏️ 貢献者 Dillon Franke @dillonfranke Michael Maturi @a-marionette 📝 ブログ https://www.mandiant.com/resources/route-sixty-sink-launch ⚓ Route Sixty-Sink Route Sixty-Sink は、自動化されたsource-to-sink解析を使用して、あらゆる .NET アセンブリ内の脆弱性を迅速に特定できるようにする、ディフェンダーとセキュリティ研究者の双方を支援するオープンソースツールです。...

drawio-threatmodeling

用于威胁建模的 Draw.io 库 这是一组自定义库，可将免费且跨平台的 Draw.io 绘图应用程序转变为进行威胁建模的完美工具。 数据流图 数据流图是一种简单的绘图技术，用于了解数据在应用程序或系统中的流动方式。DFD 非常适合获得系统的鸟瞰全局视图，从而为威胁建模提供便利。 攻击树 攻击树是另一种绘图方法，非常适合探索威胁行为者可能如何实现特定目标，或者某个资产可能如何遭到攻击。 安装 1. 下载并为你所用的操作系统安装 draw.io 2. 克隆或下载此仓库 3. 打开 draw.io 应用程序并创建一个新的空白图表 4. 单击 文件 菜单，然后点击 打开库... 5...

sast-scan-action

Offensive360 SAST 扫描 — GitHub Action 在每次推送或拉取请求时运行完整的 Offensive360 静态应用安全扫描（SAST）。支持 60+ 种语言的深度污点分析和数据流分析，结果以 SARIF 格式呈现于 GitHub 代码扫描 标签页，并为你的流水线提供严重性门禁。 开源免费： 公共仓库可申请免费扫描令牌 — 请参阅 offensive360.com/free-for-open-source。 快速开始 name: SAST on: push: branches: main pullrequest: permissions: contents:...

EUVD-2026-51679

Decidim is a participatory democracy framework. Prior to 0.30.9, from 0.31.0 before 0.31.5, and in 0.32.0.rc1 before 0.32.0.rc2, the normal downloadyourdata flow requires the requester to be logged in as the export owner, but the resulting Active Storage blob redirect URL can be replayed without...

PT-2026-56728

When the upstream Guardian or CMC was configured in the Remote Collector via n2os-tui, the generated configuration disabled TLS certificate verification, and no option was provided to enable it. A malicious actor could perform a man-in-the-middle attack and intercept the communication between the...

DRUPAL-CONTRIB-2026-074

The Events, Conditions, Actions ECA module's Render submodule enables you to build render arrays and render inline Twig templates as part of no-code ECA models. The module doesn't sufficiently sanitize template code when rendering, which can lead to information disclosure. This vulnerability is...