MalEval

MalEval 文章： 「知道它是恶意的」就够了吗？评估 LLM 进行细粒度恶意软件行为审计 文章 DOI： 10.1145/3832187 MalEval 是一个用于评估由大型语言模型生成的 Android 恶意软件行为报告的框架。本仓库中的代码实现了两条执行路径： 1. 从 APK 开始 ：对 APK 文件运行静态分析，以生成入口点、调用链、函数体和可达函数。 2. 从产物开始 ：从预先计算好的静态分析输出出发，生成函数摘要、上下文中间表示、行为报告和评估指标。 发布的数据集单独托管在 MalEval Hugging Face 数据集仓库 中。 该基准包含 255 个 Android...

haruspex

haruspex "Hacking is the discipline of questioning all your assumptions all of the time." -- Dave Aitel Haruspex is a blazing-fast IDA headless plugin that extracts pseudocode generated by IDA's decompiler in a format that should be suitable to be imported into an IDE, or parsed by static analysi...

dexcalibur

WiP : データキャリバー2.0への移行中 | コードネーム : リバース データキャリバー データキャリバーは、インストルメンテーションの自動化に焦点を当てたAndroidリバースエンジニアリングプラットフォームです。その特徴は、動的解析を使用して静的解析のヒューリスティクスを改善することです。動的インストルメンテーションに関連する退屈なタスクを自動化することを目的としています。例えば： 実行時にインターセプトされたバイトコードの逆コンパイル/逆アセンブル フックコードの作成と多数のフックメッセージの管理 フックする価値のあるパターン/対象の検索...

aether

Aether v6.0 — 智能合约安全分析框架 版本 6.0 | v6.0 新特性 | 更新日志 Aether 是一个基于 Python 的框架，用于分析 Solidity 智能合约、生成漏洞发现、生成基于 Foundry 的概念验证（PoC）测试，并在主网分叉上验证漏洞利用。它将 Solidity AST 解析、污点分析、控制流图分析、跨合约分析、Halmos 符号执行、180+ 基于模式的静态检测器、带有共享 SAGE 机构记忆的协作式多智能体 LLM 流水线 （GPT/Gemini/Claude）、14 种协议原型、75+ 漏洞利用知识库、ML...

infer

Infer Infer は、Java、C++、Objective-C、C 用の静的解析ツールです。Infer は OCaml で書かれています。 インストール パッケージ版の Infer をインストールする方法の詳細は、Getting Started のページをご覧ください。ソースから Infer をビルドするには、INSTALL.md を参照してください。 コントリビューション CONTRIBUTING.md を参照してください。 ライセンス Infer は MIT ライセンスです。 注：Java サポートを有効にするには、GPL...

octoscan

:octocat: octoscan Octoscan 是一个用于 GitHub Actions 工作流的静态漏洞扫描器。 目录 目录 安装 用法 下载远程工作流 分析 GitHub Action 规则 dangerous-checkout dangerous-action dangerous-write expression-injection runner-label repo-jacking unsecure-commands bot-check known-vulnerability dangerous-artefact credentials shellcheck...

fuzzable

Fuzzable Framework for Automating Fuzzable Target Discovery with Static Analysis Introduction Vulnerability researchers conducting security assessments on software will often harness the capabilities of coverage-guided fuzzing through powerful tools like AFL++ and libFuzzer. This is important as ...

fuzzable

Fuzzable 静的解析による Fuzzable ターゲット発見の自動化フレームワーク はじめに ソフトウェアのセキュリティ評価を行う脆弱性研究者は、多くの場合、AFL++ や libFuzzer のような強力なツールを用いたカバレッジガイドファジングの機能を活用します。これは、バグハンティングプロセスを自動化し、ターゲット内の悪用可能な状態を迅速に明らかにするために重要です。しかし、大規模で複雑なコードベースやクローズドソースのバイナリに遭遇した場合、研究者は手動で監査やリバースエンジニアリングに多くの時間を費やし、ファジングによる探索が有効な関数を特定する必要があります。...

PulseAPK-Core

PulseAPK 🌍 Languages English | Deutsch | Español | Français | עברית | 한국어 | Беларуская | Suomi | Latviešu | Eesti | Lietuvių | Čeština | Slovenčina | Magyar | العربية | Português | Русский | Українська | 中文 PulseAPK 是一款专业级 Android 逆向与安全分析 GUI，基于 Avalonia .NET 8 构建。它将 apktool...

semgrep

以惊人的速度进行代码扫描。 Semgrep 是一个快速、开源、静态分析工具，用于搜索代码、发现漏洞，并强制执行安全护栏和编码标准。Semgrep 支持 30 多种语言，可在 IDE、作为预提交检查以及作为 CI/CD 工作流的一部分运行。 Semgrep 是面向代码的语义 grep。当运行 grep "2" 只能匹配精确字符串 2 时，Semgrep 可以在搜索 2 时匹配 x = 1; y = x + 1。Semgrep 规则看起来就像你平时编写的代码；无需处理抽象语法树、正则表达式或痛苦的 DSL。 请注意，在安全上下文中，Semgrep...

njsscan

njsscan njsscan は、libsast のシンプルなパターンマッチャーと、構文を認識するセマンティックコードパターン検索ツール semgrep を使用して、Node.js アプリケーション内の安全でないコードパターンを検出できる静的アプリケーションテスト SAST ツールです。 インドで を込めて作成 njsscan を支援する Paypal で寄付: プロジェクトをスポンサー: eラーニングコース & 認定資格 OpSecX Node.js Security: Pentesting and Exploitation - NJS インストール pip install...

emba

EMBA 嵌入式设备固件安全分析器 EMBA 被设计为面向渗透测试人员、产品安全团队、开发人员和产品负责人的核心固件分析与 SBOM 工具。它支持完整的安全分析流程，从 固件提取 开始，通过仿真进行 静态分析 和 动态分析 ，构建 SBOM，最终生成基于 Web 的漏洞报告。 EMBA 能够自动发现固件中可能存在的弱点和漏洞，例如不安全的二进制文件、陈旧过时的软件组件、可能存在漏洞的脚本或硬编码密码。 EMBA 是一个命令行工具，同时可以生成易于使用的 Web 报告以供进一步分析。 EMBA 帮助渗透测试人员、产品安全团队和开发人员识别固件镜像中的弱点和漏洞。 EMBA...

PETriage

PETriage Una herramienta rápida y multiplataforma de análisis superficial de PE Portable Executable para el triaje de malware, escrita en Rust. Diseñada para analistas que necesitan un triaje práctico de PE en Linux, macOS y Windows sin depender de un flujo de trabajo exclusivo de Windows...

APKHunt

APKHunt | OWASP MASVS 静的解析ツール APKHuntは、OWASP MASVSフレームワークに基づいたAndroidアプリ向けの包括的な静的コード解析ツールです。主にモバイルアプリ開発者やセキュリティテスター向けに設計されていますが、誰でもコード内の潜在的なセキュリティ脆弱性を特定し対処するために使用できます。...

terragoat

TerraGoat - Vulnerable Terraform Infrastructure TerraGoat is Bridgecrew's "Vulnerable by Design" Terraform repository. TerraGoat is Bridgecrew's "Vulnerable by Design" Terraform repository. TerraGoat is a learning and training project that demonstrates how common configuration errors can find the...

mobileAudit

Mobile Audit Android APKのセキュリティ分析を、アップロードから実用的な検出事項まで提供します。 Mobile Auditは、静的アプリケーションセキュリティテストとマルウェア検査のためのDjangoアプリケーションです。APKメタデータを抽出し、リスクの高い実装パターンを検出し、検出事項を重大度別に整理し、レビューとレポート作成のための集中ワークスペースを提供します。 はじめに Docker Composeは、Django、PostgreSQL、RabbitMQ、Celery、Nginxを含む完全なローカルスタックを実行します。 docker compose...

Vba2Graph

Vba2Graph 悪意のあるOfficeマクロの解析に時間を浪費するセキュリティ研究者のためのツール。 VBAコールグラフを生成し、潜在的に悪意のあるキーワードをハイライト表示します。 悪意のあるマクロの迅速な解析と、実行フローの容易な理解を可能にします。 @MalwareCantFly 特徴 キーワードハイライト VBAプロパティ対応 外部関数宣言対応 "Change" 実行トリガーを使った巧妙なマクロ対応 派手なカラースキーム！ 長所 ✓ 非常に高速 ✓ 実際に観測されるほとんどの悪意あるマクロで良好に動作 短所 ✗ 静的解析（動的に解決されるコールは認識されない） 使用例 例1:...

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

appshark

ドキュメントインデックス 1.概要 2.起動 3.ルールの書き方 4.AppSharkを使ったコンプライアンス問題の発見方法 5.パストラバーサルゲーム 6.引数 7.エンジン設定 8.結果 9.よくある質問 AppShark AppSharkは、Androidアプリの脆弱性をスキャンする静的テイント解析プラットフォームです。 前提条件 AppSharkには特定のバージョンのJDKが必要です。 -- JDK 11。テストの結果、依存関係の互換性の問題により、他のLTSバージョン（JDK 8およびJDK 16）では動作しません。 AppSharkのビルド/コンパイル...

static-analysis

This repository lists static analysis tools for all programming languages, build tools, config files and more. The focus is on tools which improve code quality such as linters and formatters. The official website, analysis-tools.dev is based on this repository and adds rankings, user comments, an...