上一页 1 ··· 27 28 29 30 31 32 33 34 35 ··· 79 下一页
摘要: github https://github.com/sslab-gatech/qsym Sym-CC用了QSYM的solver内核 Abstract 背景:符号执行能够测出复杂真实的程序中的bug,但是只能应用于小规模程序 本文:QSYM 方法:结合符号模拟和动态二进制翻译的执行(native ex 阅读全文
posted @ 2021-04-18 13:42 雪溯 阅读(467) 评论(0) 推荐(0) 编辑
摘要: Abstract 阅读全文
posted @ 2021-04-18 00:13 雪溯 阅读(77) 评论(0) 推荐(0) 编辑
摘要: rt 阅读全文
posted @ 2021-04-18 00:07 雪溯 阅读(80) 评论(0) 推荐(0) 编辑
摘要: rt 阅读全文
posted @ 2021-04-18 00:02 雪溯 阅读(89) 评论(0) 推荐(0) 编辑
摘要: 1. Intro 2. Software Vunerabilities 3 Detection of Vulnerabilities 4 Fuzzing 阅读全文
posted @ 2021-04-17 23:58 雪溯 阅读(68) 评论(0) 推荐(0) 编辑
摘要: 1. Intro 2. The Evolution 3. Fuzzer Concepts 4. Case 5. Types 6. Experiences 阅读全文
posted @ 2021-04-17 23:48 雪溯 阅读(54) 评论(0) 推荐(0) 编辑
摘要: 2018, CyberSecurity 阅读全文
posted @ 2021-04-17 23:41 雪溯 阅读(28) 评论(0) 推荐(0) 编辑
摘要: URL https://doi.org/10.1016/j.cose.2018.02.002 rt 阅读全文
posted @ 2021-04-17 23:34 雪溯 阅读(46) 评论(0) 推荐(0) 编辑
摘要: rt 阅读全文
posted @ 2021-04-17 23:19 雪溯 阅读(65) 评论(0) 推荐(0) 编辑
摘要: Abstract 背景:即使最快的grammar fuzzer dharma依然要比简单的random fuzzer慢千倍 本文: 工具 F1 目的: 加快语法fuzzer产生新测试用例的速度 我们从头开始描述如何快速构建语法Fuzzer,从编程语言实现的角度处理Fuzzing。 (Q1. 这里不是 阅读全文
posted @ 2021-04-15 16:13 雪溯 阅读(119) 评论(0) 推荐(0) 编辑
上一页 1 ··· 27 28 29 30 31 32 33 34 35 ··· 79 下一页