78 污点追踪：用数据流分析揪出TEE中的“内鬼”
开篇故事
去年我在帮一家金融科技公司做TEE安全审计时，遇到一个诡异的bug：他们的机密数据明明只在一个安全函数内部使用，但攻击者却能在另一个看似无关的Wasm模块中读到明文。
排查了三天，最后发现是数据流在某个分支处“泄漏”了——一个临时变量被错误地传入了共享内存，而编译器优化后，这个变量的生命周期被延长到了函数外部。
这让我想起一个比喻：TEE就像一栋有严格门禁的大楼，但如果你允许租户把机密文件随手放在走廊的公共桌子上，那门禁再严也没用。
污点追踪（Taint Tracking）就是给这些文件装上“GPS定位器”，一旦它们离开安全区域，系统会立刻报警。
痛点拆解
常见误区：只检查函数边界，不追踪数据流
很多开发者认为，只要确保机密数据不通过函数参数或返回值泄露，就是安全的。于是他们写出这样的代码：
# 反例：看似安全，实则漏洞百出classSecureEnclave: