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 : Moviendo a dexcalibur 2.0 | nombre en clave : Reversense Dexcalibur Dexcalibur es una plataforma de ingeniería inversa de Android centrada en la automatización de instrumentación. Su particularidad es usar análisis dinámico para mejorar las heurísticas de análisis estático. Su objetivo es...

aether

Aether v6.0 — Marco de análisis de seguridad de contratos inteligentes Versión 6.0 | Novedades en v6.0 | Registro de cambios Aether es un marco basado en Python para analizar contratos inteligentes Solidity, generar hallazgos de vulnerabilidades, producir pruebas de concepto PoC basadas en Foundr...

infer

Infer Infer 是一款针对 Java、C++、Objective-C 和 C 的静态分析工具。Infer 使用 OCaml 编写。 安装 请阅读我们的入门指南页面，了解如何安装打包版本的 Infer。若要从源码构建 Infer，请参阅 INSTALL.md。 贡献 请参阅 CONTRIBUTING.md。 许可证 Infer 采用 MIT 许可证。 注意：启用 Java 支持可能需要您下载并安装依据 GPL 授权的组件。...

octoscan

:octocat: octoscan Octoscan es un escáner estático de vulnerabilidades para flujos de trabajo de GitHub Actions. Tabla de contenido Tabla de contenido Instalación Uso descargar flujos de trabajo remotos analizar GitHub action Reglas dangerous-checkout dangerous-action dangerous-write...

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 通过静态分析自动化“可模糊测试”目标发现的框架 简介 进行软件安全评估的漏洞研究人员通常会利用覆盖引导的模糊测试能力，借助 AFL++ 和 libFuzzer 等强大工具。这很重要，因为它自动化了漏洞挖掘过程，并能快速暴露目标中的可利用条件。然而，当遇到庞大而复杂的代码库或闭源二进制文件时，研究人员必须花费大量时间手动审计和逆向工程，以确定哪些函数适合进行基于模糊测试的探索。 Fuzzable 是一个集成 C/C++...

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 es una herramienta de pruebas estáticas de aplicaciones SAST que puede encontrar patrones de código inseguro en tus aplicaciones Node.js utilizando un comparador de patrones simple de libsast y una herramienta de búsqueda de patrones de código semántico consciente de la sintaxis,...

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 应用全面静态代码分析工具。虽然 APKHunt 主要面向移动应用开发者和安全测试人员，但任何人都可以使用它来识别并解决代码中的潜在安全漏洞。 借助 APKHunt，移动软件架构师或开发者可以进行彻底的代码审查，确保移动应用的安全性和完整性；而安全测试人员则可以利用该工具来确认其测试结果的完整性和一致性。无论你是希望构建安全应用的开发者，还是负责确保应用安全性的信息安全测试人员，APKHunt 都能成为你工作中不可或缺的资源。 注意：该工具基于 2023 年 ...

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 build docker compose up 服务就绪后，打开 http://localhost:8888。...

Vba2Graph

Vba2Graph 一款面向安全研究人员的工具，帮助他们节省分析恶意Office宏的时间。 生成VBA调用图，并高亮显示潜在恶意关键词。 支持快速分析恶意宏，轻松理解执行流程。 @MalwareCantFly 功能特性 关键词高亮 支持VBA属性 支持外部函数声明 处理带有"Change"执行触发器的恶意宏 炫彩配色方案！ 优点 ✓ 非常快 ✓ 对大多数野外恶意宏表现良好 缺点 ✗ 静态分析（动态解析的调用无法识别） 示例 示例1： Trickbot下载器——利用对象Resize事件作为初始触发，随后触发TextBoxChange。 示例2： 更多案例请查看 Examples 文件夹。 ...

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

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

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