首页
课程
问答
CTF
社区
招聘
峰会
发现
排行榜
知识库
工具下载
看雪20年
看雪商城
证书查询
登录
注册
首页
社区
课程
招聘
发现
问答
CTF
排行榜
知识库
工具下载
峰会
看雪商城
证书查询
社区
软件逆向
发新帖
8
4
[原创] 线性MBA杂谈
发表于: 2023-2-1 09:51
10116
[原创] 线性MBA杂谈
R1mao
2
2023-2-1 09:51
10116
例子:
如果存在
那么可以移项
则运算x-y即可由右边的运算混淆代替。
更多的例子:
什么是BA(Boolean-Arithmetic)
n 为一个正整数,且B={0,1},那么下面这个代数系统可以成为BA
其中<<,>>代表着左右移位,·代表着乘法,s代表着有符号数的运算。
什么是线性MBA Expression
1.使用z3等约束求解器进行化简,时间非常长且效果不尽人意
2.mba-blast工具(最新论文 MBA-Blast: Unveiling and Simplifying Mixed
Boolean-Arithmetic Obfuscation)
登录后可查看完整内容
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!
#调试逆向
#软件保护
#VM保护
#加密算法
#其他内容
收藏
・
8
免费
・
4
支持
分享
分享到微信
分享到QQ
分享到微博
赞赏记录
参与人
雪币
留言
时间
一笑人间万事
为你点赞~
2023-12-24 01:14
mb_yfioexda
为你点赞~
2023-8-22 10:47
0x指纹
为你点赞~
2023-6-21 11:21
34r7hm4n
为你点赞~
2023-2-1 14:05
查看更多
赞赏
×
1 雪花
5 雪花
10 雪花
20 雪花
50 雪花
80 雪花
100 雪花
150 雪花
200 雪花
支付方式:
微信支付
赞赏留言:
快捷留言
感谢分享~
精品文章~
原创内容~
精彩转帖~
助人为乐~
感谢分享~
最新回复
(
2
)
mb_rhynjqzk
雪 币:
15
活跃值:
(1913)
能力值:
( LV2,RANK:10 )
在线值:
发帖
0
回帖
10
粉丝
1
关注
私信
mb_rhynjqzk
2
楼
补充下,可以结合这个看看,虽然不是很详细但给出了不少化简的方法和paper:https://hex-rays.com/blog/deobfuscation-with-goomba/
2023-2-1 11:26
0
JZegost
雪 币:
0
活跃值:
(48)
能力值:
( LV2,RANK:10 )
在线值:
发帖
0
回帖
1
粉丝
0
关注
私信
JZegost
3
楼
USENIX21-MBA-Blast Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
2024-9-3 09:53
0
游客
登录
|
注册
方可回帖
回帖
表情
雪币赚取及消费
高级回复
返回
R1mao
2
9
发帖
24
回帖
150
RANK
关注
私信
他的文章
[原创]简易实现LLVM自定义调用约定混淆
2757
[原创] UnrealEngine4恢复符号过程分析
16651
[原创] 线性MBA杂谈
10117
[原创]STL容器逆向与实战(N1CTF2022 cppmaster wp)
11855
[原创]OLLVM控制流平坦化的改进
18589
关于我们
联系我们
企业服务
看雪公众号
专注于PC、移动、智能设备安全研究及逆向工程的开发者社区
看原图
赞赏
×
雪币:
+
留言:
快捷留言
为你点赞!
返回
顶部