CONF 2023 第三届中国 Rust 开发者大会 王俊吉 6.17-6.18 @Shanghai ## Outline ## RustBelt - Rust 的形式化语义模型 Background Rust Semantics • RustBelt Project • Type System • Rust Types Overview • The own Predict Logics [Image](/uploads/documents/b/e/1/4/be1430adff7e12210d7d5fa1fd423d62/p3_1.jpg) ## ERC Project "RustBelt" 2015-2021  Rust's standard library. ## Background RustBelt Project  Ralf Jung, et. al. RustBelt: Securing the Foundations of the Rust

libfuzzer): 分支覆盖率；用例程序的构造 符号执行(klee, angr)：路径爆炸；求解困难 静态分析(MirChecker, Rudra, SafeDrop)：分析特定问题；假阳性 形式化验证(RustBelt)：无法方便的验证第三方库 其他工具（Miri等）..... ## API 测试用例合成 impl Parser { fn justfile(mut self) -> Result

0 码力 | 13 页 | 1.68 MB | 2 年前

3