Tenet 在 Trace 证据不完整时优雅降级。本页记录每项能力所需证据及缺失时的行为。
| 版本 |
标志 |
用途 |
| v4 |
基线 |
所有功能 |
| v5 |
HF_PC_DELTA |
减小文件体积（pc_delta 模式）；Tenet 自动检测 |
| v7 |
HF_HAS_FPR |
FPR（NEON v0-v31）重建 |
| v6 |
HF_OLD_VALUE |
写前内存值（writer 已移除；当前无 Trace 生成此格式） |
Tenet 可打开 version ≥ 4 的任何 Trace。
| 证据 |
是否必需 |
缺失时降级 |
| PC 流 |
是 |
无法打开 |
inst_id 序列 |
是 |
无法导航 |
| GPR ANCHOR/diff |
寄存器查询需要 |
寄存器始终显示 0 |
| 内存访问 |
内存历史需要 |
内存读取返回未知 |
内嵌代码（HF_HAS_CODE） |
反汇编需要 |
需要 --image 回退 |
Branch hint（HF_BRANCH_HINT） |
call/return 分类需要 |
仅启发式分类 |
| 证据 |
是否必需 |
缺失时降级 |
| 内嵌代码或外部镜像 |
是 |
无 CFG、无循环检测 |
| Branch hint 或 event |
call/return 需要 |
Function Pass 仅启发式 |
| GPR diff |
基于 SP 的栈遍历需要 |
调用栈可能不完整 |
| 证据 |
是否必需 |
缺失时降级 |
| GPR ANCHOR/diff |
是 |
无污点传播 |
| 内存访问 |
内存污点需要 |
内存传播禁用 |
| Triton（可选） |
精确语义需要 |
仅回退语义 |
| 证据 |
是否必需 |
缺失时降级 |
| 内存访问（写） |
是 |
无内存重建 |
| 内存访问（读） |
未插桩数据需要 |
未读页面为未知字节 |
| 内嵌代码或镜像 |
字符串扫描需要 |
仅栈/堆 |
| 证据 |
是否必需 |
缺失时降级 |
REC_CAPICALL 记录 |
最佳质量 |
启发式回退 |
REC_SVC 记录 |
系统调用拦截需要 |
无系统调用数据 |
REC_OBJC 记录 |
ObjC 消息需要 |
无 ObjC 分析 |
| Darwin 目标 |
ObjC / CryptoKit 需要 |
Android/Linux 跳过 |
| 证据 |
是否必需 |
缺失时降级 |
| 内嵌代码或镜像 |
是 |
无模式或常量检测 |
| 循环结构 |
循环语义需要 |
无循环分类 |
| 调用图 |
算法摘要需要 |
无交叉引用 |
| 平台 API |
objc_crypto 需要 |
无 ObjC 关联 |
| 循环结构 + CFG |
vm_abstract 需要 |
无 VM handler 分析 |
| 平台 |
ObjC |
API 拦截 |
FPR |
备注 |
| iOS (Darwin) |
完整 |
CommonCrypto、Security、CryptoKit、BoringSSL |
v7 |
全部能力 |
| Android |
跳过 |
BoringSSL、JNI |
v7 |
无 ObjC |
| Linux |
跳过 |
OpenSSL、系统调用 |
v7 |
无 ObjC |
| Unknown |
启发式 |
基于模块名的启发式 |
— |
降低精度 |
Sampling Trace（设置了 REG_DIFF、HAS_MEM 或 HAS_NZCV 采样标志）仅包含部分证据。能力相应降级：
- 减少 GPR diff → 更少污点传播步骤、寄存器状态精度更低。
- 缺少内存访问 → 无内存重建、无内存污点。
- 缺少代码 → 需
--image 才能使用依赖反汇编的功能。
Tenet 可打开并索引 Sampling Trace；分析 Pass 会报告可用的证据类别并相应限制结果。
Tenet 当前假设单线程 Trace。THREAD 记录会被解析但不分割时间轴。多线程 Trace 打开时会有警告；分析应用于交错指令流。如需隔离单线程指令，可使用 thread_filter。