每每看到林版数年如一日地在坚持在论坛发帖就心生敬畏，尝试把之前想做的每天翻译一篇文章做好，AI时代下得善用工具，用workbuddy写了个tex2md，将latex文件转换为markdown文件格式。伴随着市场经济震荡的趋势，论坛也面临着经营困难，也许以后会分享的是财经，因为我个人现在基本接触的是市场，希望能有所启迪。

转换为markdown后，输入提示词：“请编写workflow，子Agent一步一步阅读"Pushan_tex2md.md"，提供一份Chinese版本。注意翻译的技巧与学术的专业性。”最终效果可能有些瑕疵，因为我看Trace变成了轨迹追踪，有些过度翻译了，但是会随着后续不断优化的语料积累，翻译质量会越来越好的。

工作流设计（5 个子 Agent 顺序执行）

每个子 Agent 翻译前必须先读取术语表，后续 4 个 Agent 严格沿用 Agent 1 建立的 122 条术语表，保证全文译名统一。

method 秀 论坛终于有点新东西了

这篇文章的内容还是相对简单容易理解的， 主要就是仿真与动态符号执行（DSE），Dynamic Symbolic Execution符号执行，为了防止出现传统符号执行容易发生的路径爆炸，需要基于VPC敏感性进行建模，这样只在追踪VPC时发现新的基本块边界的时候，进行符号执行去枚举目标控制流集合。

简单来说，流程很简单：

1. VPC建模：基于VPC敏感性的符号执行恢复CFG；

2. MBA化简：基于MBA-Blast的混合布尔代数化简；

3. 生成伪C并反编译

这对于Themida程序的嵌套VM架构，效果不佳。

由于处理不了不透明谓词，导致最终样本效果依然存在大量的MBA混淆，同时因为程序被虚拟化保护起来的分支跳转的条件没有还原出来，导致循环结构被迫变成do_while使其在运行时进行判断。将去虚拟化后的结果丢给Claude模型还原出了相对清晰的程序结构。

致谢

本⼯作受美国卫⽣⾼级研究计划局（Advanced Research Projects Agency for Health, ARPA-H）合同 SP4701-23-C-0074、美国国家科学基⾦会（National Science Foundation, NSF）资助 2232915 与 2146568，以及美国海军研究办公室（Office of Naval Research, ONR）资助N00014-23-1-2563 ⽀持。我们同时衷⼼感谢美国国防部的慷慨⽀持。

可以看出，网络安全是国家主权的重要组成部分。