上一页 1 ··· 21 22 23 24 25 26 27 28 29 ··· 79 下一页
摘要: Abstract 目的: 了解同个目标程序上何种fuzzing configuration更加优秀 Github https://github.com/andreafioraldi/FuzzSplore Design Panels: 1. Testcases scatterplot 2. Cover 阅读全文
posted @ 2022-01-16 01:06 雪溯 阅读(59) 评论(0) 推荐(0) 编辑
摘要: Abstract Kernel drivers是kernel代码的重要组成部分 挑战: 复杂的input structure和未知的dependencies 本文:SyzGen 自动生成闭源macOS驱动程序的系统调用规范,以此协助interface-aware fuzzing 主要方法: sysc 阅读全文
posted @ 2022-01-06 21:34 雪溯 阅读(98) 评论(0) 推荐(0) 编辑
摘要: Abstract rt 阅读全文
posted @ 2022-01-04 01:35 雪溯 阅读(27) 评论(0) 推荐(0) 编辑
摘要: Abstract rt 阅读全文
posted @ 2022-01-04 01:35 雪溯 阅读(30) 评论(0) 推荐(0) 编辑
摘要: Abstract rt 阅读全文
posted @ 2022-01-04 01:34 雪溯 阅读(27) 评论(0) 推荐(0) 编辑
摘要: Abstract Sophisticated static analysis techniques often have complicated implementations, much of which provides logic for tuning and scaling rather t 阅读全文
posted @ 2022-01-04 01:24 雪溯 阅读(51) 评论(0) 推荐(0) 编辑
摘要: Abstract 和BigSpa一样https://www.cnblogs.com/xuesu/p/15760169.html 目的:large-scale 进程间分析 问题:计算代价和内存代价搞 本文:data-parallel, a join-process filter computation 阅读全文
posted @ 2022-01-04 01:10 雪溯 阅读(47) 评论(0) 推荐(0) 编辑
摘要: Abstract 目的:large-scale 进程间分析 问题:计算代价和内存代价搞 本文:data-parallel, a join-process filter computation model 基于CFL可达性的进程间分析 面向云 效果:在百万行代码上能够进行准确进程间分析 I. Intr 阅读全文
posted @ 2022-01-03 18:43 雪溯 阅读(48) 评论(0) 推荐(0) 编辑
摘要: Abstract P1: 介绍fuzz driver 目前方法:静态code analysis,在闭源上有问题 信息有限 API之间的语义关系复杂(Q: the semantic relations among API functions are complex yet their correctn 阅读全文
posted @ 2021-12-26 04:05 雪溯 阅读(189) 评论(0) 推荐(0) 编辑
摘要: Abstract 本文: FuzzGen 方法: whole system analysis 特点:无需人力 数据集: Debian, AOSP中的7个库 效果: 17个已有的bugs,6个CVEs +54.94 code coverage,比较人工写的fuzzers+6.94% 1. Intro 阅读全文
posted @ 2021-12-26 04:03 雪溯 阅读(508) 评论(0) 推荐(0) 编辑
上一页 1 ··· 21 22 23 24 25 26 27 28 29 ··· 79 下一页