搜索结果
查询Tags标签: EULibHarn,共有 6条记录-
Proj EULibHarn Paper Reading: Chianina: An Evolving Graph System for Flow- and Context-Sensitive Ana
Abstract Sophisticated static analysis techniques often have complicated implementations, much of which provides logic for tuning and scaling rather than basic analysis functionalities.This tight coupling of basic algorithms with special treatments fo…
2022/1/4 6:09:01 人评论 次浏览 -
Proj EULibHarn Paper Reading: Chianina: An Evolving Graph System for Flow- and Context-Sensitive Ana
Abstract Sophisticated static analysis techniques often have complicated implementations, much of which provides logic for tuning and scaling rather than basic analysis functionalities.This tight coupling of basic algorithms with special treatments fo…
2022/1/4 6:09:01 人评论 次浏览 -
Proj EULibHarn Paper Reading: FuzzGen: Automatic Fuzzer Generation
Abstract 1. Intro 2. Case of construction 3. Background and Related Work 4. Design 5. Implementation 6. Evaluation 7. Discussion and future work
2021/12/26 6:07:19 人评论 次浏览 -
Proj EULibHarn Paper Reading: FuzzGen: Automatic Fuzzer Generation
Abstract 1. Intro 2. Case of construction 3. Background and Related Work 4. Design 5. Implementation 6. Evaluation 7. Discussion and future work
2021/12/26 6:07:19 人评论 次浏览 -
Proj EULibHarn Paper Reading: IntelliGen: Automatic Driver Synthesis for FuzzTesting
Abstract 1. Intro 2. Related Work 3. Design 4. Implementation 5. Evaluation 6. Case Study on Real Projects 7. Lesson Learned
2021/12/26 6:07:18 人评论 次浏览 -
Proj EULibHarn Paper Reading: IntelliGen: Automatic Driver Synthesis for FuzzTesting
Abstract 1. Intro 2. Related Work 3. Design 4. Implementation 5. Evaluation 6. Case Study on Real Projects 7. Lesson Learned
2021/12/26 6:07:18 人评论 次浏览