做壳、反调试和早期初始化分析时,TLS回调经常比OEP更早执行,所以一旦漏掉,后面的控制流判断就容易偏。微软的PE规范写得很明确,TLS目录里有一个【Address of Callbacks】字段,它指向一个以空指针结尾的回调函数数组,数组里的多个回调会按地址出现顺序被调用。Hex-Rays早期发布说明也提到,IDA对PE文件已经能够识别TLS callback entries并添加注释。
做逆向时,类型一旦没跟上,后面的结构体、函数原型和伪代码都会一起发飘。很多人以为类型库就是装进 IDA 以后自动全局生效,实际上 IDA 现在把类型相关动作拆成了几层,类型库负责提供外部定义,本地类型负责落到当前数据库里,真正套到函数和数据上还要再做一步应用,所以前面少一步,后面就会出现类型明明加载了,但看起来还是不准的情况。官方文档也明确写到,外部类型库加载后可在整个 IDA 中访问,而一旦被引用,就会复制到当前数据库的【Local Types】里。
IDA Pro反汇编Linux程序时,应该先看哪些位置,以及反汇编Linux文件时,ELF段信息又该怎么去利用,这两件事的关键,是不能刚打开文件就直接钻进某个sub函数里面去读。Linux程序多数是ELF格式,文件里面不仅有代码,还有入口点、动态链接的信息、字符串、导入函数、全局变量和段权限。先把这些基础信息看明白,再进入具体的函数,分析效率会高出不少,也不容易把普通库函数、初始化逻辑和真正的业务逻辑混在一起。