Abstract
背景：
- unsafe能够绕开rust type system
- 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
- semantic-aware CDeepFuzz automatic libraries synthesissemantic-aware cdeepfuzz automatic libraries differentiation cdeepfuzz automatic reading semantic-aware synthesis high-level-synthesis synthesis参数vivado algorithms stochastic synthesis adaptive synthesis practice scan representation generative synthesis learning automatic