搜索结果：os（83 个）
按分类缩小范围
tamarin-prover
综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
yattee
综合 51
面向 iOS、tvOS 和 macOS 的注重隐私的视频播放器。
OnionBrowser
综合 50
适用于 iOS 的开源隐私浏览器，基于 Tor 匿名网络构建。
用于屏蔽恶意爬虫、垃圾来源、漏洞扫描及防 DDoS 的 Nginx 安全防护配置与规则集。
fossa-cli
综合 49
fossa-cli 是一款开箱即用的跨语言依赖分析工具，解决项目中第三方组件难以盘点和排查的问题。它支持 20 多种构建系统，能自动检测代码库依赖，并结合 FOSSA 平台提供开源许可证合规扫描、安全漏洞排查及归属报告生成。
Docker-OSX
综合 49
在 Docker 中运行接近原生性能的 macOS 虚拟机，支持 X11 转发与安全研究 CI/CD。
securityonion
综合 48
用于威胁排查、企业安全监控和日志管理的免费开源平台，内置警报、仪表板和 PCAP 等功能。
ImHex
综合 48
专为逆向工程师和程序员打造的十六进制编辑器，深夜工作也能保护视力。
tailscale
综合 47
基于 WireGuard 与 2FA 的异地组网工具，简单易用且安全性高。
SafeLine
综合 47
支持自托管的开源 WAF（Web 应用防火墙）与反向代理，保护 Web 应用免遭黑客攻击和漏洞利用。
kopia
综合 47
跨平台备份工具，支持增量备份、端到端加密、压缩和数据去重，提供 CLI 与 GUI。
better-auth
综合 46
功能全面且开箱即用的现代化身份验证（Authentication）框架。
panel
综合 46
基于 PHP、React 和 Go 构建的免费开源游戏服务器管理面板，使用 Docker 隔离运行游戏服务。
Harden-Windows-Security
综合 46
基于微软官方支持的方法与指南，提供安全加固 Windows 系统的工具和方案。
Awesome-OSINT-List
综合 45
面向网安专业人员和漏洞猎人的开源情报（OSINT）工具合辑。
HackBrowserData
综合 45
全平台浏览器数据导出工具，支持从 20 款浏览器解密密码、Cookie 及历史记录，用于安全研究与 DFIR。
systeminformer
综合 45
免费且功能强大的多功能工具，可帮助监控系统资源、调试软件以及检测恶意软件。
git-credential-manager
综合 44
安全、跨平台的 Git 凭据存储工具，支持 GitHub、Azure Repos 等主流托管服务认证。
rodauth
综合 43
功能先进且完善的 Ruby 身份验证框架。
由社区维护的 macOS 系统安全加固与隐私保护实用指南。