首页
论坛
课程
CTF
CTF竞赛
题库
看雪峰会
企服
招聘
发现
众测
排行榜
知识库
工具下载
看雪20年
看雪商城
证书查询
登录
注册
首页
论坛
课程
招聘
发现
企服
专栏
CTF
众测
排行榜
知识库
工具下载
看雪峰会
看雪20年
看雪商城
证书查询
看雪论坛
软件逆向
发新帖
0
0
[求助]有没大佬熟悉符号执行库 miasm这个库?
2019-3-31 11:35
2546
[求助]有没大佬熟悉符号执行库 miasm这个库?
baikaishiu
2
2019-3-31 11:35
2546
我刚才在读miasm的源码,有个地方不了解,
https://github.com/cea-sec/miasm/blob/master/test/arch/x86/arch.py
他的单元测试中,没有指明他的预期输出结果,那他时如何判断他的执行结果时正确的? 比如下面这一句
他要指明他初始化eax的值,然后指明他预期的eax值,再然后是对eflags的影响。但他统统没有,新手没学过python,有大佬能够直接点明下最好了
安卓应用层抓包通杀脚本发布!《高研班》2021年3月班开始招生!
收藏
・
0
点赞
・
0
打赏
分享
分享到微信
分享到QQ
分享到微博
赞赏
×
1 元
2 元
5 元
10 元
20 元
50 元
100 元
200 元
支付方式:
微信支付
赞赏留言:
快捷留言
感谢分享~
精品文章~
原创内容~
精彩转帖~
助人为乐~
最新回复
(
3
)
Qira
雪 币:
活跃值:
(116)
能力值:
( LV2,RANK:10 )
在线值:
发帖
1
回帖
18
粉丝
1
关注
私信
Qira
2021-2-4 23:14
2
楼
0
楼主还在研究这个框架吗,上面的问题解了吗
baikaishiu
雪 币:
2512
活跃值:
(1997)
能力值:
( LV6,RANK:90 )
在线值:
发帖
11
回帖
26
粉丝
45
关注
私信
baikaishiu
2
2021-2-12 15:41
3
楼
0
没研究这个框架了,当时是为了研究编译优化脱壳,后来自己用别的方法搞定了,符号执行感觉有严重缺陷吧。对分支的条件计算不够精确。
327135569
雪 币:
59
活跃值:
(74)
能力值:
( LV2,RANK:10 )
在线值:
发帖
0
回帖
6
粉丝
0
关注
私信
327135569
2021-2-17 10:58
4
楼
0
使用代入具体值的符号执行, miasm也是支持的。 上段代码在做汇编和反汇编的正确性测试,看下引用的地方就好,不难理解。
最后于
2021-2-17 12:04 被327135569编辑 ,原因: 文字错误
游客
登录
|
注册
方可回帖
回帖
表情
雪币赚取及消费
高级回复
返回
baikaishiu
2
11
发帖
26
回帖
90
RANK
关注
私信
他的文章
[求助]有没大佬熟悉符号执行库 miasm这个库?
2547
[原创]看了加密与解密,也学着画了一个vmp的流程图,顺带求画图工具
2412
一种通过后端编译优化脱虚拟机壳的方法
5082
一种通过后端编译优化脱混淆壳的方法
7670
关于我们
联系我们
企业服务
看雪学院公众号
专注于PC、移动、智能设备安全研究及逆向工程的开发者社区