首页
社区
课程
招聘
[分享]不要相信伪代码
发表于: 2019-1-14 15:35 5216

[分享]不要相信伪代码

2019-1-14 15:35
5216

jeb使用很久了,转换的java伪代码记忆中没出过什么大的逻辑错误,一般就是太复杂的方法无法转换,要么是较复杂的选择语句或者try cache转换带goto等,但一般没见到有逻辑错误(也可能是我没留意),不久前碰到一个感觉不应该出的逻辑问题,感觉很意外,记录一下。时间久了,因为没遇到伪代码的错误(也可能忘了),所以就会不自觉的以为伪代码就是正确的代码,进而去信赖一个工具。






参照smail代码可知:
1:p2(arg6)等于null
arg6 = SignAture.CHUNK_SEPARATOR;
arg5 = 0;
不过arg5 = 0;被jeb忽略了。
接下来p1(arg5)等于0,满足小于等于0的条件,所以跳转到偏移A4,
把v1的值赋给v0,即v0=0;然后跳回偏移1E执行。
2:p2(arg6)不等于null
跳到偏移12执行,如果p1(arg5)小于等于0,则v0=0;跳过偏移16去偏移1E执行。如果p1(arg5)大于0,则v0=(p1/4)*4;

正确逻辑如下:





[峰会]看雪.第八届安全开发者峰会10月23日上海龙之梦大酒店举办!

最后于 2019-1-14 15:36 被卓桐编辑 ,原因:
收藏
免费 1
支持
分享
最新回复 (4)
雪    币: 41
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
2
dex 还好,ida F5 ,更不要相信
2019-1-14 17:11
1
雪    币: 13944
活跃值: (17218)
能力值: ( LV12,RANK:290 )
在线值:
发帖
回帖
粉丝
3
楼主要是不说,我还以为所有的伪代码都是能相信的呢,不过不知道楼主能不能限定一个范围,什么样的伪代码是不能相信的??
2019-1-14 18:07
1
雪    币: 3094
活跃值: (234)
能力值: ( LV4,RANK:55 )
在线值:
发帖
回帖
粉丝
4
这..你修改了的和原来的逻辑有区别吗? 
2019-1-18 17:12
1
雪    币: 40
活跃值: (655)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
5
有没试试 jadx   这种反编译回去的 都不能全信  只能作为参考 
  
2019-1-21 10:33
0
游客
登录 | 注册 方可回帖
返回
//