加壳与反调试能做到和做不到的

逆向工程 · 2 分钟阅读· 154 次阅读

脱壳的终点不是程序能跑起来,而是静态分析工具能重建出调用图,导入表与重定位都要补齐

任何分析手段都有边界,承认边界才能给出可靠的结论。

先说结论

能说清边界,结论才可信。

  • 可观察:运行时数据
  • 可推:结构与布局
  • 不可得:原始源码
  • 结论要带置信度
  • 成本:影响面:决定能否静态分析;单个样本约 4-8 小时

能确定的

节区熵接近 8 说明内容接近随机,通常是压缩段或加密段,看直方图比看单个字节有效,单点取样会误判。

凡是运行时会用到的数据,最终都能观察到。

只能推测的

入口所在段同时可写与可执行,是自解压壳最直接的一个静态特征,正常产物很少这样,见到值得多看一眼。

对象 可还原程度 原因
控制流 高 运行路径可观察
数据结构 中 布局可推,命名靠猜
业务意图 低 取决于命名与注释
原始源码 不可能 编译有损

几个具体限制

下面这些是相对确定的细节:

  • 反调试检测集中在 ptrace 附加、TracerPid 字段与时间差这三类

加壳与反调试能做到和做不到的

怎么给出可靠结论

结论要带置信度:确定、较可能、推测。壳只是提高了观察成本,真正难的是壳里面的逻辑本身。

还有几处容易忽略的

这些细节不影响入门,但影响你判断的准确度。

  • UPX 加壳的样本可以用官方工具直接脱,改造过的壳则会校验自身完整性,必须走内存 dump,脱完还要修导入表
  • 内存 dump 出来的镜像缺少节区对齐,导入表通常需要手工修复
  • 看到熵高就断定加壳,其实是资源或压缩数据
  • dump 完直接扔进反编译器,导入表没修全是乱码
  • 在生产机器上跑样本,没做网络与文件隔离

承认做不到,是专业的一部分。

评论 (3)

南
南风

补一句:修完要回归,很多人修一半。

路
路人甲

终于有人讲清楚「为什么」而不是只给命令。

白
白帽小陈

防御那节写得克制,没有教人打站,这点好评。

发表评论

验证码

提交后需站长审核,通过后才会显示。