Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

Abstract

背景：

1. unsafe能够绕开rust type system
2. rust libraries中常有许多unsafe keyword

本文：SyRust
Task: fuzz Rust library APIs
Challenge: synthesize well-typed Rust programs to account for proper chaining of API calls and Rust's ownership type system and polymorphic types
方法：program synthesis with logical encoding of typing constraints from Rust's ownership type system

实验：
对象：30 popular open-source Rust libraries
效果：+4bugs