请对这份嵌入式设备固件进行深入安全评估，优先关注高风险问题，并保留可供人工复核的证据。
SIGVoid Cyber
为安全场景打造可靠、优化的模型。
Void-5.3-Flash-Cyber 已上线。这是一款网络安全专用模型，现阶段面向政府部门、企业、研究机构及高校等组织开放试用。如需体验该模型，请填写申请表。
后续将陆续开放 Kimi-K3-Cyber、DeepSeek-V4.1-Flash-Cyber 等安全模型。除安全专用模型外，也提供 DeepSeek、GLM、Kimi 等主流通用大模型的推理接口。
同时接入主流通用模型
DeepSeekGLMKimiQwen
IN YOUR WORKFLOW
在熟悉的工作流里，切换安全模型。
在 Void 中一键连接 SIGVoid Cyber，或使用 API key 接入其他兼容的 Agent。模型变了，工作方式不必重来。
点击模型名称，展开并切换模型
固件深度安全评估
加载技能 安全评估工作流
收到。本次先做固件离线静态分析，尚未接入实物设备。我会确认样本结构与授权边界，再把更新链、系统服务、调试接口和组件通信拆成并行任务。
Shell 命令 ls, file
$ ls -la "analysis/firmware" 2>/dev/null
file "analysis/firmware" 2>/dev/nullcomponent-a.bin
component-b.bin
component-c.bin
header.json
analysis/firmware: directory路径与名称已替换；目录列表仅摘取文件名列。
已创建 7 个分析任务，并行分析已启动。先沿着下面几个方向展开：
- 更新链：梳理软件来源确认、完整性检查与更新入口。
- 系统服务：读取启动配置、服务定义与可执行组件信息。
- 接口边界：从代码与配置检查调试能力、组件调用关系和权限约束。
Shell 命令 echo, grep, grep
$ S="analysis"
echo "=== component-a build.prop ==="
grep -E "ro.build.tags|ro.build.type|ro.debuggable|ro.build.fingerprint|security_patch|ro.product.device" "$S/containers/component-a/fs_root/build.prop"
echo "=== component-c build.prop ==="
grep -E "ro.build.tags|ro.build.type|ro.debuggable|ro.build.fingerprint|security_patch|ro.product.device" "$S/containers/component-c/fs_root/build.prop"=== component-a build.prop ===
ro.build.type=userdebug
ro.build.tags=test-keys
ro.product.device=component-a
# ro.build.product is obsolete; use ro.product.device
=== component-c build.prop ===
ro.build.type=userdebug
ro.build.tags=test-keys
ro.product.device=component-c
# ro.build.product is obsolete; use ro.product.device路径与名称已替换，输出节选；构建指纹及日期行已省略。
初步盘点完成，共登记 5 个攻击面。当前优先分析固件更新链与系统服务两类方向，正在离线检查文件系统、启动配置和可执行组件。
两类重点检查方向
- 固件更新链：沿代码中的处理流程检查各个更新入口，梳理来源与完整性校验的覆盖范围。
- 系统服务：沿启动脚本与服务配置梳理声明的权限，再检查维护、调试与组件间调用代码。
工具调用 2 项
Shell 命令 r2
$ UP="analysis/containers/component-a/fs_root/bin/update-service"
r2 -2 -q -c 'af @ update_handler; s digest_check; pd 70' "$UP" 2>/dev/null add x0, sp, 8
…
bl sym.imp.strncmp
…
┌─< cbz w0, match_branch
│ …
│ bl debug_log
│ mov w21, -1
┌──< b merge_branch
…原指令节选；删除地址与机器码列，函数和跳转目标已换成符号别名。
Shell 命令 cd, openssl, cmp
$ cd "analysis/certificates"
openssl pkcs7 -inform DER -in package/META-INF/CERT.RSA -print_certs 2>/dev/null | openssl x509 -pubkey -noout 2>/dev/null > package-public.pem
openssl x509 -in trust/testkey.x509.pem -pubkey -noout 2>/dev/null > trusted-public.pem
cmp package-public.pem trusted-public.pem && echo "PUBKEY IDENTICAL (CERT.RSA signer == otacert testkey)" || echo "PUBKEY DIFFER"PUBKEY IDENTICAL (CERT.RSA signer == otacert testkey)路径与名称已替换；真实公钥比对结果，未进行设备安装验证。
更新链静态审查发现一个需要优先复核的问题：代码中的真实性校验没有覆盖完整链路。我已保存相关代码与配置证据，并继续检查回滚逻辑和外部介质更新入口。
读取文件 analysis/evidence/update-chain.md
## 详情 **现象**：更新容器内子固件的完整性字段来自 header.json 内的 md5sum；已验证 18 个子文件的摘要与清单一致。帧内两个 4 字节字段 A/B 并非签名。 **证据（二进制级）**：component-a / component-c 的 update-service 反汇编：① 无 RSA/cert/SSL 导入符号；② 整包 MD5 期望值来自同一 TCP 信道的更新请求明文字段；③ 逐成员 MD5File 失配仅打印日志后循环继续，最终返回成功；④ 容器解析对字段 A/B 仅步进跳过，从不比较；⑤ 子固件刷写仅做版本比较，版本字段同为包内自描述。 **缺口**：端到端触发链路与目标引导程序是否另有校验（工件外）。 ## 裁决/证据来源本会话静态分析（灰盒离线）。详见对应裁决与研究证据文件。源 Finding 文档节选，路径、名称与敏感格式已替换；不是编辑 diff。
F-01 已登记。 当前静态证据说明更新内容的来源与完整性没有形成完整的确认链。记录中已写明证据位置、可能影响和需要设备验证的条件。
接下来继续对照各更新入口的校验策略，整理外部介质入口与主更新链之间的差异。
系统服务与调试配置的静态审查完成。样本中的部分维护服务和调试相关代码包含高权限操作能力；是否能在实际设备上触达，还需要结合启动条件与发行配置验证。
Shell 命令 sed
$ R="analysis/containers/component-c/boot/ramdisk"
sed -n '880,915p' "$R/init.rc" user root
group root system
on property:ro.debuggable=1
start console
# adbd is controlled via property triggers in init.<platform>.usb.rc
service adbd /runtime/sbin/adbd --root_seclabel=u:r:su:s0
class core
socket adbd stream 660 system system
disabled
seclabel u:r:adbd:s0
# adbd on at boot in emulator
on property:ro.kernel.qemu=1
start adbd
…路径已替换，输出节选；保留 disabled 和属性触发条件。
相关 Finding 已登记。记录里保留代码和配置所示的能力边界、可能影响与复核建议，后续可从看板查看关联静态证据。
组件通信的静态分析发现一条潜在线索：部分内部接口的调用方身份约束需要进一步确认。现有代码证据还不足以判断实际可达性与完整授权链，F-05 保留为待动态验证的线索。
Shell 命令 echo, r2, head
$ F="analysis/containers/component-c/fs_root"
for n in service-a update-service service-supervisor; do
echo "==== $n ===="
r2 -q -e bin.demangle=false -c "ii~bind;ii~listen;ii~accept;ii~socket;ii~connect;ii~inet" "$F/bin/$n" 2>/dev/null | head -30
done==== service-a ====
nth bind type lib name
61 GLOBAL FUNC net_bind
42 GLOBAL FUNC net_set_socket_noblock
==== update-service ====
nth bind type lib name
==== service-supervisor ====
nth bind type lib name路径与服务名称已替换，地址列已省略；保留空的搜索结果。
组件调用关系摘要保留了已读到的代码路径与尚未确认的条件。仅凭离线分析，不能把这条线索写成已经复现的访问控制漏洞。
接下来汇总各任务的记录与证据索引，在报告中分别列出静态证据、可能影响和仍需设备验证的条件。
Shell 命令 echo, stat, head
$ R="analysis/session/security-report.md"
echo "exists: $([ -f "$R" ] && echo yes || echo no)"
echo "size: $(stat -f%z "$R" 2>/dev/null)"
echo "first lines:"
head -6 "$R"exists: yes
size: 8848
first lines:
# 安全挖掘报告：离线固件样本
## 范围
- **目标**：`analysis/firmware`（component-a / component-b / component-c 与 header.json）。
- **授权**：设备自有/书面授权，全面离线逆向；无实体设备，无网络外联，无真实设备动态验证。授权与源材料已写入 run-manifest。路径与名称已替换，输出节选；字节数为原报告的记录值。
归档完成。 7/7 项离线分析任务完成，18 条 Finding 已写入看板，其中严重 4 条、高危 7 条、中危 7 条。14 条记录已完成静态复核，另外 4 条仍待动态验证；本次未进行实物设备验证。
Finding 汇总（5 条代表记录）
| ID | 严重性 | 标题 |
|---|---|---|
| F-01 | critical | 更新包真实性校验不完整 |
| F-02 | critical | 发行构建使用可预测的信任材料 |
| F-03 | high | 外部介质更新缺少充分约束 |
| F-04 | high | 调试通道暴露系统级操作能力 |
| F-05 | medium | 内部服务接口缺少明确访问控制 |
上表对应右侧看板中的代表记录。每条记录可以继续打开，查看影响说明、证据摘要和修复建议。
人工复核
- 更新链记录保留代码、配置与证书等静态证据，核对校验覆盖范围和信任边界。
- 系统服务与调试能力记录保留配置背景，后续需结合实际设备和发行环境复核可达性与影响。
- F-05 为潜在线索，保留调用方身份与权限边界的待确认项，需动态验证后再判断。
最终报告与证据索引已归档，可从工作产物中查看。
横向滑动查看完整工作区
BUILT FOR SECURITY
SIGVoid Cyber 解决什么问题？
市面上有很多模型，但只有少数能与安全研究良好配合。不同提供商的配置与交付方式，也会让同一模型的表现参差不齐。我们希望为所有安全研究者解决这个问题，不仅仅是 Void 用户。
基于长期的网络安全攻防实战，我们在 GLM-5.3-Flash 的基础上微调了国产网络安全专用模型 Void-5.3-Flash-Cyber，在价格、响应速度与安全能力之间取得平衡。
我们已将安全模型投入真实产品测试，在 Coding Agent、国民级 App、智能汽车、机器人和无人机等多类产品中，发现了多个严重及高危漏洞。
- 对主流开源模型进行安全场景微调
- 与提供商合作，确保模型按预期交付
- 对推荐的模型与提供商组合进行基准测试
GET STARTED
SIGVoid Cyber 如何工作
推荐配合 Void 使用，也可以接入其他兼容的 Agent。
- 01
选择套餐
根据任务量选择适合的月付套餐，并完成充值。
- 02
在 Void 中连接
一键连接 SIGVoid Cyber，选择模型开始使用，按套餐规则扣除积分。
- 03
接入其他工具
保存 API key，在其他兼容的 Agent 或 Harness 中配置使用。
您的隐私，对我们很重要。
所有 SIGVoid Cyber 模型均不会违规收集数据，也不会使用您的数据进行模型训练。
常见问题
什么是 SIGVoid Cyber？
SIGVoid Cyber 是面向安全场景的模型服务，提供经过安全场景微调的专用模型，以及 DeepSeek、GLM、Kimi 等通用大模型的推理接口。可以在 Void 中使用，也可以通过 API key 接入其他兼容工具。
目前有哪些模型可以使用？
Void-5.3-Flash-Cyber 已上线，同时提供 DeepSeek、GLM、Kimi 等通用模型推理接口。Kimi-K3-Cyber、DeepSeek-V4.1-Flash-Cyber 等安全模型将陆续开放，具体可用模型以网关列表为准。
为什么这些模型更适合安全研究？
我们基于网络安全攻防实战进行模型微调，并对推荐的模型与提供商组合进行基准测试。Void-5.3-Flash-Cyber 在未使用 Harness 加强的情况下，在 CyberGym 随机抽取的 130 题中取得了 92.3% 的 pass@1 通过率；这是抽样结果，并非对所有场景的保证。
SIGVoid Cyber 更便宜吗？多少钱？
除 Cyber 模型外，其余模型通常按官方渠道价格的 9 折提供。是否更划算取决于您选择的模型与实际用量；具体积分额度、扣除规则和模型可用范围，以网关内的套餐说明为准。
我可以在其他编程代理中使用 SIGVoid Cyber 吗？
可以。支持 Claude Code 等 20+ Agent 工具。保存您的 API key，并按对应工具的接入方式完成配置即可。
可以跨设备使用和同时运行多个任务吗？
可以，用量在设备间共享。一般支持至少 20 个并发任务，具体上限以网关内的套餐说明为准。
现阶段哪些用户可以申请试用？
Void-5.3-Flash-Cyber 现阶段面向政府部门、企业、研究机构及高校等组织开放试用，向所有用户提供 DeepSeek、GLM、Kimi 等主流通用大模型的推理接口。