上一页 1 ··· 22 23 24 25 26 27 28 29 30 ··· 79 下一页
2021年12月26日
Proj EULibHarn Paper Reading: IntelliGen: Automatic Driver Synthesis for FuzzTesting
摘要： Abstract 本文: IntelliGen 目标: 生成fuzz driver 步骤： 确定entry function, 评价权重 通过层次参数替换(hierarchical parameter replacement)和类型推断生成driver 实验效果: 实验对象: Android Ope 阅读全文
posted @ 2021-12-26 04:01 雪溯 阅读(299) 评论(0) 推荐(0) 编辑
Proj EULibHarn Paper Reading: FUDGE: Fuzz Driver Generation at Scale
摘要： Abstract 任务: driver synthesis 生成c/c++代码和对应的build script，此外会自动分析driver质量 效果: 200多个生成的driver已经被用在真实测试环境中，一些在OSS-Fuzz中 效果: 150+bugs 1. Intro 本文认为生成driver 阅读全文
posted @ 2021-12-26 03:53 雪溯 阅读(324) 评论(0) 推荐(0) 编辑
2021年12月1日
Proj THUDBFuzz Paper Reading: Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
摘要： Abstract 介绍buffer overflows 目前: 使用工具abort 缺点: 在服务器端不适用 本文: handling buffer overflow without aborting 主要方法: 在库函数中加一个基于能查询buffer size的introspection func 阅读全文
posted @ 2021-12-01 03:50 雪溯 阅读(28) 评论(0) 推荐(0) 编辑
Proj AutoWriter Paper Reading: Abstract Syntax Networks for Code Generation and Semantic Parsing
摘要： Abstract 对unstructured->well-formed需求 本文: abstract syntax networkds 结果: ASTs 效果: 数据集HearthStone，目标代码生成 79.2 BLEU,22.7% exact match accuracy ATIS, JOBS 阅读全文
posted @ 2021-12-01 03:43 雪溯 阅读(34) 评论(0) 推荐(0) 编辑
Proj AutoWriter Paper Reading: AnnaParser: Semantic Parsing for Tabular Data Analysis
摘要： Abstract 介绍Task(特点: corss-domain, multilingualism, enabling quick-start???) 在parsing table agnosticism之前的data abstraction step 一套语义规则 span-based seman 阅读全文
posted @ 2021-12-01 03:38 雪溯 阅读(38) 评论(0) 推荐(0) 编辑
Proj AutoWriter Paper Reading: Knowledge-based type-aware neural text-to-sql generation
摘要： TypeSQL: Knowledge-Based Type-Aware Neural Text-to-SQL Generation Abstract 介绍relational db 介绍Task 本文: TypeSQL 方法: 将问题转化为slot filling task 同时利用了type in 阅读全文
posted @ 2021-12-01 03:31 雪溯 阅读(40) 评论(0) 推荐(0) 编辑
Proj AutoWriter Paper Reading: SEQ2SQL: GENERATING STRUCTURED QUERIES FROM NATURAL LANGUAGE USING REINFORCEMENT LEARNING
摘要： Abstract 介绍Relational DB 本文Seq2SQL 方法: policy-based reinforcement learning Task:... 使用in-the-loop query执行来获取rewards 利用SQL的结构来剪枝空间 本文: 数据集: WikiSQL 规模8 阅读全文
posted @ 2021-12-01 03:26 雪溯 阅读(80) 评论(1) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: Lenient Execution of C on a Java Virtual Machine
摘要： Abstract 介绍未定义行为，如signed integer overflow，及危害 本文: Lenient C，一种C方言 特点：对未定义行为增加定义 工具: Safe Sulong 方法: C解释器，在JVM上运行 阅读全文
posted @ 2021-12-01 03:10 雪溯 阅读(26) 评论(0) 推荐(0) 编辑
2021年11月28日
Proj THUDBFuzz Paper Reading: SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
摘要： Abstract 介绍Sanitizer; 除掉无用Sanitizer checks 本文: SANRAZOR 方法: 获取动态coverage和静态data dependencies? 实验1： 数据集：SPEC benchmarks 效果: from 73.8% to 28.0–62.0% fo 阅读全文
posted @ 2021-11-28 02:49 雪溯 阅读(124) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
摘要： Abstract 介绍memory error的重要性 当前研究：low-level execution model, 额外的检查，问题：可能忽略corner cases 本文工具: Safe Sulong 方法： 将high-level中的数据结构与C中映射，然后用解释器来做自动检查 效果：能找到 阅读全文
posted @ 2021-11-28 00:23 雪溯 阅读(45) 评论(0) 推荐(0) 编辑
上一页 1 ··· 22 23 24 25 26 27 28 29 30 ··· 79 下一页