恶意软件分析

tamarin-prover/tamarin-prover

用于安全协议的多集重写与约束求解符号验证工具，可证明保密性、认证性和等价性属性。

indalok/rzweb

A complete browser-based reverse engineering platform built on Rizin, running entirely client-side via WebAssembly.

rizinorg/rizin

类 UNIX 逆向工程框架与命令行工具集。

angr/angr

一个强大且用户友好的二进制分析平台！

gojue/ecapture

使用 eBPF 捕获 SSL/TLS 明文——无需 MITM 代理或安装自定义 CA。支持 x86_64 和 arm64 架构上的 Linux 与 Android。

wazuh/wazuh

开源XDR和SIEM平台，用于跨端点和云工作负载的威胁检测、日志分析、文件完整性监控、漏洞评估和合规管理。

kata-containers/kata-containers

Kata Containers 是一个开源项目和社区，致力于构建轻量级虚拟机（VM）的标准实现，其使用体验和性能表现与容器相似，但提供了虚拟机的工作负载隔离和安全优势。https://katacontainers.io/

mandiant/flare-floss

FLARE 混淆字符串求解器 - 自动从恶意软件中提取混淆字符串。

freedomofpress/dangerzone

获取潜在危险的PDF、办公文档或图像，并将其转换为安全的PDF。

pwndbg/pwndbg

借助 GDB 和 LLDB 轻松实现漏洞利用开发与逆向工程

aikidosec/safe-chain

Protect against malicious code installed via npm, yarn, pnpm, npx, pnpx, pip, uv and poetry with Aikido Safe Chain. Free to use, no tokens required.

nvidia/skillspector

用于 AI 代理技能的安全扫描器。在安装 Claude Code、Codex 和 MCP 技能之前，检测其中的漏洞、恶意模式、安全风险、提示注入、数据外泄和供应链风险。

emsec/hal

HAL – 硬件分析器

horsicq/detect-it-easy

用于确定文件类型的程序，适用于 Windows、Linux 和 MacOS。

radareorg/radare2

类 UNIX 逆向工程框架与命令行工具集

0xor0ne/awesome-list

Cybersecurity oriented awesome list