首页
论坛
课程
招聘
[原创]符号执行挖掘开源库命令注入
2022-1-30 22:28 25047

[原创]符号执行挖掘开源库命令注入

2022-1-30 22:28
25047

防止触犯国家法律,文章撤回.


【看雪培训】《Adroid高级研修班》2022年夏季班招生中!

最后于 2022-3-2 10:40 被来杯柠檬红茶编辑 ,原因: 因公司保密需要,文章撤回.
收藏
点赞3
打赏
分享
最新回复 (6)
雪    币: 537
活跃值: 活跃值 (750)
能力值: ( LV12,RANK:200 )
在线值:
发帖
回帖
粉丝
光刃 活跃值 3 2022-1-30 22:41
2
0
柠檬大牛晚上好。
雪    币: 4083
活跃值: 活跃值 (444)
能力值: ( LV9,RANK:160 )
在线值:
发帖
回帖
粉丝
来杯柠檬红茶 活跃值 3 2022-1-30 22:45
3
0
光刃 柠檬大牛晚上好。
光哥晚上好
雪    币: 4712
活跃值: 活跃值 (2306)
能力值: ( LV9,RANK:195 )
在线值:
发帖
回帖
粉丝
天水姜伯约 活跃值 4 2022-2-2 01:58
4
0
''如果大家有想要的符号执行功能或者想让klee添加一些新的功能并开源给大家使用可以发私''
那大佬能不能给Klee写个Veritesting的扩展?

Enhance symbolic execution with veritesting
雪    币: 4083
活跃值: 活跃值 (444)
能力值: ( LV9,RANK:160 )
在线值:
发帖
回帖
粉丝
来杯柠檬红茶 活跃值 3 2022-2-2 17:37
5
0
天水姜伯约 ''如果大家有想要的符号执行功能或者想让klee添加一些新的功能并开源给大家使用可以发私'' [em_41]那大佬能不能给Klee写个Veritesting的扩展? Enhance symbo ...
Veritesting这个技术还不够成熟,并不通用啊,我认为大可不必,Veritesting可能是已公开的缓解路径爆炸的方案里面稍微好点的,但并不完全适合工程化
雪    币: 76
活跃值: 活跃值 (652)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
saloyun 活跃值 2022-2-7 10:33
6
0
mark
雪    币: 70
活跃值: 活跃值 (638)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
hixhi 活跃值 2022-2-8 09:35
7
0
先mark下,再研究
游客
登录 | 注册 方可回帖
返回