我的随笔

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis - Foundations I

雪溯 2021-01-21 20:59 阅读:120 评论:0 推荐:0

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 03 Data Flow Analysis - Applications I

雪溯 2021-01-21 19:59 阅读:107 评论:0 推荐:0

Java: Atomic Variables

雪溯 2021-01-18 11:30 阅读:111 评论:0 推荐:0

rust tokio && mio

雪溯 2021-01-16 19:34 阅读:1456 评论:0 推荐:0

Proj. THUIoTFuzz Paper Reading: Parser-Directed Fuzzing

雪溯 2021-01-11 14:50 阅读:160 评论:0 推荐:0

Proj. THUIoTFuzz Paper Reading: One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation

雪溯 2021-01-08 16:34 阅读:226 评论:0 推荐:0

Proj. THUIoTFuzz Paper Reading: Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback

雪溯 2021-01-07 13:20 阅读:741 评论:0 推荐:0

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 02 Intermediate Representation

雪溯 2021-01-05 12:53 阅读:158 评论:0 推荐:0

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 01 Intro

雪溯 2021-01-05 10:10 阅读:93 评论:0 推荐:0

Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019，熊英飞, 03 数据流分析II

雪溯 2021-01-04 17:55 阅读:134 评论:0 推荐:0