semantic-aware
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-t ......