bincat

はじめに BinCATとは？ BinCATは、 静的 バイナリコード解析ツールキットであり、リバースエンジニアがIDAから直接、またはPythonを使って自動化するために設計されています。 特徴： 値解析（レジスタとメモリ） テイント解析 型再構築と伝播 後方解析と前方解析 use-after-free および double-free の検出 動作の様子 こちらで（旧バージョンの）BinCATの動作を確認できます： 基本解析 データテイントの使用 対応するタスクを確認するにはチュートリアルをご覧ください。 簡単なFAQ 対応ホストプラットフォーム：...

capstone

Capstone Engine !TIP Welcome to join our community group! Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Created by Nguyen Anh Quynh, then developed and maintained by a small community, Capsto...

BootStomp

BootStomp BootStompはブートローダーのバグファインダーです。メモリ破損と状態ストレージの脆弱性という2種類のバグを検出します。詳細については、BootStompの論文（https://seclab.cs.ucsb.edu/academic/publishing/bootstomp-security-bootloaders-mobile-devices-2017 ）を参照してください。...

pyt

.. image:: https://travis-ci.org/python-security/pyt.svg?branch=master :target: https://travis-ci.org/python-security/pyt .. image:: https://readthedocs.org/projects/pyt/badge/?version=latest :target: http://pyt.readthedocs.io/en/latest/?badge=latest .. image::...

DECAF

DECAF DECAF（Dynamic Executable Code Analysis Frameworkの略）は、QEMUベースのバイナリ解析プラットフォームです。 DECAF++ DECAF++（DECAFの新バージョン）は、汚染解析が約2倍高速化され、我々の知る限り最速の全システム動的汚染解析フレームワークです。これにより、疑わしい（汚染された）入力が存在しない場合、わずか4％のオーバーヘッド（SPEC...

gosec

gosec - Go セキュリティチェッカー Go AST および SSA コード表現をスキャンすることで、ソースコードのセキュリティ問題を検査します。 クイックリンク GitHub Action ローカルインストール クイックスタート 一般的な使用パターン ルールの選択 出力フォーマット 特徴 パターンベースのルール — Go コードにおける一般的なセキュリティ問題を検出 SSA ベースのアナライザー — 型変換、スライス境界、暗号問題に対応 汚染解析 —...

DakshSCRA v0.38-beta

Daksh SCRA Source Code Review Assist root@kitploit: Author: - Debasis Mohanty [email protected] - Twitter / X: @coffeensecurity - www.coffeeandsecurity.com About Daksh SCRA Daksh SCRA Source Code Review Assist tool is built to enhance the efficiency of the source code review process, providi...

matt.net

Matt.Net 由 NCC Group Plc 开源发布 - http://www.nccgroup.com/ 由 Matt Lewis 开发，matt dot lewis at nccgroup dot com http://www.github.com/nccgroup/matt.net 根据 AGPL 许可发布。更多信息请参阅 LICENSE。 概述 Matt.Net 是围绕微软 CAT.NET 代码审计工具的简单 GUI 封装程序。 它可用于在指定文件夹中查找 .NET 二进制文件，并将在所有相关二进制文件上运行 CAT.NET。...

smalien

Smalien Smalienは、Androidアプリケーションアナリスト向けの情報フロー解析および情報漏洩検出ツールです。Smalienは、Linuxマシン上でAndroidアプリケーションの静的テイント解析を実行するだけでなく、Androidデバイス上での動的テイント解析、暗黙的な情報フローによる情報漏洩の検出、およびプライバシーポリシーの実行時強制も行います。 注意 : Smalienの新しいバージョンは SaitoLab-Nitech/VTDroid で入手可能になりました!! Smalienには以下の機能があります...

CVE-2021-44228

用于CVE-2021-44228的Tai-e 这是一个示例项目，利用Tai-e来识别Log4Shell（即CVE-2021-44228）漏洞及其触发路径。 相关视频（中文）：https://www.bilibili.com/video/BV1dV411F781 快速开始 通过Git克隆此仓库： root@kitploit: git clone https://github.com/Tai-e/CVE-2021-44228.git 在终端中运行以下命令（系统需要Java 17+）： root@kitploit: ./gradlew run...

Argus

Argus このリポジトリには、USENIX Security '23 の論文「ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions」のコードが含まれています。Argus は、GitHub Actions向けに特別に設計された包括的なセキュリティ分析ツールです。CI/CDワークフローのセキュリティを強化する目的で構築されたArgusは、テイントトラッキング技術と影響度分類器を利用して、GitHub Actionワークフローにおける潜在的な脆弱性を検出します。...

testing-handbook

Manual de Testes da Trail of Bits O Manual de Testes da Trail of Bits é um recurso para desenvolvedores e profissionais de segurança sobre como configurar, otimizar e automatizar muitas ferramentas de análise estática e dinâmica que usamos na Trail of Bits. Pré-visualizar Manual de Testes:...

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

mole

Mole Mole è un plugin per Binary Ninja progettato per identificare percorsi di esecuzione interessanti nei binari. Esegue backward slicing sulle variabili usando il Medium Level Intermediate Language MLIL di Binary Ninja in forma Static Single Assignment SSA, costituendo la base per un'analisi...

opentaint

Il motore open source di taint analysis per l'era dell'IA Taint analysis formale per la sicurezza delle applicazioni — trova ciò che i motori di AST-pattern matching non rilevano, consente agli agenti LLM di applicare vulnerabilità come regole, scala dove nessuno dei due può farlo da solo. Englis...

maat

About Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting:...

lava

LAVA: Large Scale Automated Vulnerability Addition Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora i.e., software that has known bugs with triggering inputs. LAVA attempts to solve this problem by automatically injecting bugs into...

ioctlance

IOCTLance Description Presented at CODE BLUE 2023, this project titled Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis introduces IOCTLance, a tool that enhances its capacity to detect various vulnerability types in Windows Driver Model WDM drivers. In a...

ioctlance

IOCTLance Descrizione Presentato al CODE BLUE 2023, questo progetto intitolato Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis introduce IOCTLance, uno strumento che migliora la capacità di rilevare vari tipi di vulnerabilità nei driver Windows Driver Mode...