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

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

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

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

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



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

[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!

收藏
免费 0
支持
分享
最新回复 (3)
雪    币: 0
活跃值: (638)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
2
楼主还在研究这个框架吗,上面的问题解了吗
2021-2-4 23:14
0
雪    币: 2458
活跃值: (3333)
能力值: ( 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
游客
登录 | 注册 方可回帖
返回
//