首页
社区
课程
招聘
[原创]符号执行挖掘开源库命令注入
发表于: 2022-1-30 22:28 28817

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

2022-1-30 22:28
28817

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


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

最后于 2022-3-2 10:40 被来杯柠檬红茶编辑 ,原因: 因公司保密需要,文章撤回.
收藏
免费 7
支持
分享
最新回复 (6)
雪    币: 612
活跃值: (3824)
能力值: ( LV12,RANK:200 )
在线值:
发帖
回帖
粉丝
2
柠檬大牛晚上好。
2022-1-30 22:41
0
雪    币: 3874
活跃值: (641)
能力值: ( LV9,RANK:150 )
在线值:
发帖
回帖
粉丝
3
光刃 柠檬大牛晚上好。
光哥晚上好
2022-1-30 22:45
0
雪    币: 2644
活跃值: (5088)
能力值: ( LV9,RANK:225 )
在线值:
发帖
回帖
粉丝
4
''如果大家有想要的符号执行功能或者想让klee添加一些新的功能并开源给大家使用可以发私''
那大佬能不能给Klee写个Veritesting的扩展?

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