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

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

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

https://github.com/cea-sec/miasm/blob/master/test/arch/x86/arch.py

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



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

阿里云助力开发者!2核2G 3M带宽不限流量!6.18限时价,开 发者可享99元/年,续费同价!

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

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

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