|
[翻译]玩转动态符号执行
IamHuskar 好文。符号执行在漏洞挖掘和软件测试方面有很大的作用。有的是利用 污点分析 来去除混淆 还有的利用符号执行去掉混淆 那么能利用Z3约束求解去掉混淆吗 另外这些方法能去掉乱序吗 不太懂 我想研究一下 哪位大佬提点一下 该如何研究呢 |
|
[翻译]玩转动态符号执行
污点分析 符号执行 约束求解 Triton angr OpenIR Z3 Tigress_protection 可以用来去除混淆乱序 还原vm 谁试过 效果怎么样呢 教程很少啊 我也是似懂非懂 有没有c语言调用的 |
|
[原创]使用IDA pro逆向ARM M系核心的Bin固件
学习了 我在等ida7.2呢 看来已经凉了 |
操作理由
RANk
{{ user_info.golds == '' ? 0 : user_info.golds }}
雪币
{{ experience }}
课程经验
{{ score }}
学习收益
{{study_duration_fmt}}
学习时长
基本信息
荣誉称号:
{{ honorary_title }}
能力排名:
No.{{ rank_num }}
等 级:
LV{{ rank_lv-100 }}
活跃值:
在线值:
浏览人数:{{ visits }}
最近活跃:{{ last_active_time }}
注册时间:{{ user_info.create_date_jsonfmt }}
勋章
兑换勋章
证书
证书查询 >
能力值