Triton

Triton 은 동적 바이너리 분석 라이브러리입니다. 이 라이브러리는 프로그램 분석 도구를 구축하고, 리버스 엔지니어링을 자동화하며, 소프트웨어 검증을 수행하거나 코드를 에뮬레이션할 수 있는 내부 구성 요소를 제공합니다. 동적 심볼릭 실행 동적 테인트 분석 x86 , x86-64 , ARM32 , AArch64 및 RISC-V 32/64 ISA 의미론의 AST 표현 표현식 합성 SMT 단순화 패스 LLVM 및 Z3 로의 리프팅 및 역방향 Z3 및 Bitwuzla 에 대한 SMT 솔버 인터페이스 C++ 및 Python API...

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

BootStomp

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

gosec

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

Sighthound

Sighthound Tree-sitter 기반의 정적 취약점 스캐너로, 패턴 매칭과 오염 흐름 분석을 제공합니다. 기능 AST 인식 규칙을 사용하여 소스 코드에서 보안 문제를 스캔합니다. 패턴 모드와 오염 모드소스에서 싱크 추적를 지원합니다. 다중 파일 프로젝트와 병렬 실행을 처리합니다. 결과를 텍스트, JSON, CSV 또는 SARIF 형식으로 출력합니다. 파일 확장자별로 내장된 규칙 팩을 로드하며, 선택적으로 파일 기반 사용자 정의 규칙을 지원합니다. 지원 언어 언어| 확장자| 파서| 번들 규칙 ---|---|---|---...

mole

Mole Mole は、バイナリ内の興味深い実行パス を特定するために設計された Binary Ninja プラグインです。 Binary Ninja の Medium Level Intermediate Language MLIL（ Static Single Assignment SSA 形式）を使用して変数の後方スライシング を実行し、静的汚染解析 の基礎を形成します。 Mole において、パス とは、定義されたソースとシンクの間のデータの流れを指します。「興味深い」パスとは何かは分析の目的に依存します。たとえば、脆弱性...

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 説明 CODE BLUE 2023で発表された、このプロジェクト「Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis」はIOCTLanceを紹介します。このツールは、Windows Driver Model...

jsonorg-fp3

json.org CVE-2022-45688 誤検知 このプロジェクトには、CVE-2022-45688 が報告されている json.org 依存関係が含まれています。 この依存関係は脆弱なクラスを呼び出していますが、入力データはサニタイズされています（ 文字をカウントする簡単な方法で、生成される DOM ツリーの最大深さを見積もり、それが 1000 未満でなければならないという前提条件を強制することにより）。そのため、この脆弱性を DoS 攻撃に悪用することはできません。 メタデータベースおよびコールグラフベースのソフトウェア構成分析は、どちらも誤検知を生成します。...

appshark

문서 색인 1. 개요 2. 시작 3. 규칙 작성 방법 4. Appshark를 사용하여 규정 준수 문제를 찾는 방법 5. 경로 탐색 게임 6. 인수 7. 엔진 구성 8. 결과 9. FAQ AppShark Appshark는 Android 앱의 취약점을 스캔하는 정적 오염 분석 플랫폼입니다. 전제 조건 Appshark는 특정 버전의 JDK가 필요합니다. -- JDK 11. 테스트 결과, 다른 LTS 버전JDK 8 및 JDK 16에서는 의존성 호환성 문제로 인해 작동하지 않습니다. AppShark 빌드/컴파일 프로젝트...

appshark

Document Index 1.overview 2.startup 3.how to write rules 4.how to find compliance problems use appshark 5.a path traversal game 6.argument 7.engine config 8.result 9.faq AppShark Appshark is a static taint analysis platform to scan vulnerabilities in an Android app. Prerequisites Appshark require...

Ponce

Ponce Ponce（発音は 'poN θe pon-they）は、IDA Pro のプラグインで、ユーザーがバイナリに対してテイント解析やシンボリック実行を簡単かつ直感的に行えるようにするものです。Ponce を使えば、最先端のシンボリック実行の力をワンクリックで手に入れることができます。完全に C/C++ で記述されています。 なぜ？ シンボリック実行はセキュリティコミュニティにおいて新しい概念ではありません。何年も前から存在していましたが、2015年頃になってようやく Triton や Angr...

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

opentaint

AI 시대를 위한 오픈 소스 오염 분석 엔진 애플리케이션 보안을 위한 정형적 오염 분석 — AST 패턴 매칭 엔진이 놓치는 것을 찾아내고, LLM 에이전트가 취약점을 규칙으로 적용하도록 하며, 어느 쪽도 단독으로는 불가능한 규모로 확장합니다. English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Svenska | Português Brasil ...

trajan

Trajan: CI/CD 보안 스캐너 Trajan은 공격자가 소프트웨어 공급망을 손상시키는 데 사용하는 CI/CD 파이프라인의 보안 취약점을 스캔합니다. GitHub Actions, GitLab CI, Azure DevOps, Jenkins 및 JFrog를 지원합니다. 기능 Trajan은 워크플로 YAML 파일을 파싱하고, 종속성 그래프를 구축하며, 탐지 플러그인을 실행하고, 내장된 공격 기능을 통해 악용 가능성을 검증합니다. 32개의 탐지 플러그인 여러 CI/CD 플랫폼 대상 24개의 공격 플러그인 여러 CI/CD 플랫폼 대...

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

CVE-2021-44228

CVE-2021-44228 のための Tai-e これは、Tai-e を利用して Log4Shell 別名 CVE-2021-44228 の脆弱性とそのトリガーパスを特定するサンプルプロジェクトです。 関連動画（中国語）: https://www.bilibili.com/video/BV1dV411F781 はじめに Git でこのリポジトリをクローンします： git clone https://github.com/Tai-e/CVE-2021-44228.git ターミナルで次のコマンドを実行します（システムに Java 17 以上が必要です）： ./gradlew run...

testing-handbook

Trail of Bits テストハンドブック Trail of Bits テストハンドブックは、Trail of Bits が使用する多くの静的解析・動的解析ツールの設定、最適化、自動化に関する、開発者とセキュリティ専門家のためのリソースです。 テストハンドブックのプレビュー: https://appsec.guide 🌐 なぜこれが必要なのか？ ✨ 📃...

DECAF

DECAF DECAF Dynamic Executable Code Analysis Framework의 약자는 QEMU 기반의 바이너리 분석 플랫폼입니다. DECAF++ DECAF++는 DECAF의 새 버전으로, 테인트 분석 속도가 약 2배 빨라져 현재까지 알려진 가장 빠른 전체 시스템 동적 테인트 분석 프레임워크입니다. 이로 인해 사용성이 크게 향상되어 의심스러운 테인트된 입력이 없을 때 오버헤드가 4% SPEC CPU2006에 불과합니다. 또한, 테인트 분석 작업량이 많은 환경에서도 DECAF++는 탄력성 덕분에 nbench ...

VMDragonSlayer

VMDragonSlayer プロジェクトは10月中旬に公開予定（リファクタリング中） 高度な仮想マシン検出・解析フレームワーク VMDragonSlayerは、VMProtect 2.x/3.x、Themida、カスタムマルウェアVMなどの仮想マシン（VM）ベースのプロテクタで保護されたバイナリを解析するための包括的なフレームワークです。このフレームワークは、動的タイントラッキング（DTT）、シンボリック実行（SE）、パターン分類、機械学習を含む複数の解析エンジンを組み合わせ、リバースエンジニアリングプロセスを自動化します。 目標 :...