首页
社区
课程
招聘
[求助]有没大佬熟悉符号执行库 miasm这个库?
发表于: 2019-3-31 11:35 6980

[求助]有没大佬熟悉符号执行库 miasm这个库?

2019-3-31 11:35
6980
我刚才在读miasm的源码,有个地方不了解,

c8dK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6Y4K9i4c8Z5N6h3u0Q4x3X3g2U0L8$3#2Q4x3V1k6U0k6h3q4Q4x3X3c8K6k6h3y4Q4x3V1k6E0K9h3q4K6L8g2)9J5c8X3u0D9L8$3u0Q4x3V1k6E0j5i4y4@1k6i4u0Q4x3V1k6@1k6i4y4@1i4K6u0r3j5i4u0U0K9q4)9J5c8Y4R3^5y4W2)9J5c8X3q4J5j5$3S2Q4x3X3g2H3P5b7`.`.

他的单元测试中,没有指明他的预期输出结果,那他时如何判断他的执行结果时正确的? 比如下面这一句



他要指明他初始化eax的值,然后指明他预期的eax值,再然后是对eflags的影响。但他统统没有,新手没学过python,有大佬能够直接点明下最好了

[培训]科锐逆向工程师培训第53期2025年7月8日开班!

收藏
免费 0
支持
分享
最新回复 (3)
雪    币: 1
活跃值: (813)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
2
楼主还在研究这个框架吗,上面的问题解了吗
2021-2-4 23:14
0
雪    币: 2458
活跃值: (3443)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
3
没研究这个框架了,当时是为了研究编译优化脱壳,后来自己用别的方法搞定了,符号执行感觉有严重缺陷吧。对分支的条件计算不够精确。
2021-2-12 15:41
0
雪    币: 262
活跃值: (357)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
4

使用代入具体值的符号执行, miasm也是支持的。 上段代码在做汇编和反汇编的正确性测试,看下引用的地方就好,不难理解。

最后于 2021-2-17 12:04 被327135569编辑 ,原因: 文字错误
2021-2-17 10:58
0
游客
登录 | 注册 方可回帖
返回