Rust China Conf 2021 – 2022, Online, China 姜剑峰 Rust API可靠性分析与验证 Rust China Conf 2021 – 2022, Online, China 主题内容 • Rust第三方库API可靠性现状 • 现用方法的局限性 • 基于程序合成+模糊测试的可靠性分析方法 Rust China Conf 2021 – 2022, Online, China 自我简介 • 本（2019）硕（2022）毕业于复旦大学 • 目前在蚂蚁集团安全计算部门开发应用于机密计算的Rust系统软件 • 研究生期间主要从事Rust测试与验证工具的研究，本人所在的是国内最早 开展Rust程序分析相关研究的实验室（https://artisan-lab.github.io） • 我们关于Rust库模糊测试的论文 RULF: Rust Library Rust静态检查与动态检查 静态检查： • 基于所有权和生命周期的内存管理模型：内存安全 • 通过trait来确保代码符合某些规范：Send, Sync, Unpin等 动态检查： • 数组越界 • 整数溢出 • Unicode字符边界 Rust China Conf 2021 – 2022, Online, China Rust API 可靠性 现有的机制是否足够呢？ •

。 学习 Rust 的一个重要部分是学会如何阅读编译器显示的错误信息：它们会指引你编写出能运 行的代码。为此，我们将提供许多不能编译的示例，以及在每种情况下编译器将显示的错误信 息。请知悉，如果你输入并运行一个随机示例，它可能无法编译！确保你阅读了示例周围的文 本，以判断你尝试运行的示例是否意在出错。Ferris 也将帮助你区分那些不是意在工作的代 码： Ferris 含义 这段代码无法通过编译！ 本章和全书中，我们会展示一些在终端中使用的命令。所有需要输入到终端的行都以 $ 开头。你不需要输入 $ 字符；这里显示的 $ 字符表示命令行提示符，仅用于提示 每行命令的起点。不以 $ 起始的行通常展示前一个命令的输出。另外，PowerShell 专用的示例会采用 > 而不是 $ 。 在 Linux 或 macOS 上安装 rustup 如果你使用 Linux 或 macOS，打开终端并输入如下命令： $ curl '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh 此命令下载一个脚本并开始安装 rustup 工具，这会安装最新稳定版 Rust。过程中可能会提 示你输入密码。如果安装成功，将会出现如下内容： Rust is installed now. Great! 另外，你还需要一个 链接器（linker），这是 Rust 用来将其编译的输出连接到一个文件中的

。 学习 Rust 的一个重要部分是学会如何阅读编译器显示的错误信息：它们会指引你编写出能运 行的代码。为此，我们将提供许多不能编译的示例，以及在每种情况下编译器将显示的错误信 息。请知悉，如果你输入并运行一个随机示例，它可能无法编译！确保你阅读了示例周围的文 本，以判断你尝试运行的示例是否出错。Ferris 也将帮助你区分那些不是意在工作的代码： Ferris 含义 这段代码无法通过编译！ 本章和全书中，我们会展示一些在终端中使用的命令。所有需要输入到终端的行都以 $ 开头。你不需要输入 $ 字符；这里显示的 $ 字符表示命令行提示符，仅用于提示每 行命令的起点。不以 $ 起始的行通常展示前一个命令的输出。另外，PowerShell 专 用的示例会采用 > 而不是 $。 在 Linux 或 macOS 上安装 rustup 如果你使用 Linux 或 macOS，打开终端并输入如下命令： $ curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh 此命令下载一个脚本并开始安装 rustup 工具，这会安装最新稳定版 Rust。过程中可能会提示 你输入密码。如果安装成功，将会出现如下内容： Rust is installed now. Great! 另外，你还需要一个 链接器（linker），它是 Rust 用来将其编译的输出链接成一个文件的程

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 第 4 章 数组与链表 66 4.1 数组 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 4.2 7.2 二叉树遍历 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 7.3 二叉树数组表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 7.4 二叉搜索树 . . . . 内容结构 本书的主要内容如图 0‑1 所示。 ‧ 复杂度分析：数据结构和算法的评价维度与方法。时间复杂度和空间复杂度的推算方法、常见类型、示 例等。 ‧ 数据结构：基本数据类型和数据结构的分类方法。数组、链表、栈、队列、哈希表、树、堆、图等数据 结构的定义、优缺点、常用操作、常见类型、典型应用、实现方法等。 ‧ 算法：搜索、排序、分治、回溯、动态规划、贪心等算法的定义、优缺点、效率、应用场景、解题步骤

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 第 4 章 数组与链表 66 4.1 数组 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 4.2 7.2 二叉树遍历 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 7.3 二叉树数组表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 7.4 二叉搜索树 . . . . 内容结构 本书的主要内容如图 0‑1 所示。 ‧ 复杂度分析：数据结构和算法的评价维度与方法。时间复杂度和空间复杂度的推算方法、常见类型、示 例等。 ‧ 数据结构：基本数据类型和数据结构的分类方法。数组、链表、栈、队列、哈希表、树、堆、图等数据 结构的定义、优缺点、常用操作、常见类型、典型应用、实现方法等。 ‧ 算法：搜索、排序、分治、回溯、动态规划、贪心等算法的定义、优缺点、效率、应用场景、解题步骤

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 第 4 章 数组与链表 66 4.1 数组 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 4.2 7.2 二叉树遍历 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145 7.3 二叉树数组表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 7.4 二叉搜索树 . . . . 内容结构 本书的主要内容如图 0‑1 所示。 ‧ 复杂度分析：数据结构和算法的评价维度与方法。时间复杂度和空间复杂度的推算方法、常见类型、示 例等。 ‧ 数据结构：基本数据类型和数据结构的分类方法。数组、链表、栈、队列、哈希表、树、堆、图等数据 结构的定义、优缺点、常用操作、常见类型、典型应用、实现方法等。 ‧ 算法：搜索、排序、分治、回溯、动态规划、贪心等算法的定义、优缺点、效率、应用场景、解题步骤

8 元组和数组 39 8.1 数组（Arrays） . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 8.2 元组（Tuples） . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 8.3 数组迭代 . 8.4 解构 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 8.5 练习：嵌套数组 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 8.5.1 解答 . . . . . . . . 197 34.2.1 Primitive Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 34.2.2 数组（Arrays）. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 34.2.3 特征对象 . . . . .

2.4 数组 array Rust 的数组是被表示为[T;N]。其中 N 表示数组大小，并且这个大小一定是个 编译时就能获得的整数值，T 表示泛型类型，即任意类型。我们可以这么来声 明和使用一个数组: let a = [8, 9, 10]; let b: [u8;3] = [8, 6, 5]; print!("{}", a[0]); 和 Golang 一样，Rust 的数组中的 N（大小）也是类型的一部分，即[u8; = vec![1, 2, 3]; // 通过 vec!宏来声明 let v2 = vec![0; 10]; // 声明一个初始长度为 10 的值全为 0 的动态数组 println!("{}", v1[0]); // 通过下标来访问数组元素 for i in &v1 { print!("{}", i); // &Vec 可以通过 Deref 转换成 &[i32] } 来存储，字符串就是一串固 定长度的字符连接起来字符序列。与其他编程语言不同之处在于，Go 的字符串 是字节组成，而其他的编程语言是字符组成。 Go 的字符串可以把它当成字节数组来用，并且是不可变的。 Rust 的字符串底层也是 Vec动态数组，这点和 Go 的字符串有点类似，不同 的是 Go 的字符串是定长的，无法修改的。 Rust 和 Go 原声在字符串里面支持 unicode，这就导致了很大某方面的不同。

swap(j - 1, j); swapped = true; } } // 如果当前循环没有发⽣元素交换，说明数组已经有序 if !swapped { break; } } } #[cfg(test)] mod tests { use super::*; } } // 合并两个有序数组: arr[lo..=mid], arr[mid + 1..=hi] fn merge_two_arrays(arr: &mut [T], lo: usize, mid: usize, hi: usize) where T: PartialOrd + Clone + Default, { // 这⾥需要 clone 数组元素 let mut 161/270 2024/3/7 20:44 Rust算法教程 The Algos (algorithms) https://algo.course.rs/print.html 162/270 最⼤⼦数组 /// ## maximum subarray via Dynamic Programming /// maximum_subarray(array) find the subarray (containing

TLCP、区块链等场景，用于签名 验签等 Sm3 GM/T 0004-2012 ISO/IEC 10118-3:2018 计算密码杂凑 哈希 256 SHA256 是 TLCP、数字签名及验证、消息认 证码生成及验证、随机数生成、 密钥扩充 Sm4 GM/T 0002-2012 ISO/IEC WD1 18033- 3/AMD2 分组加解密 分组加 密 128 AES128，但 是更多次轮询 256 位，其中使用了异或、模、模加、移位、与、或、非运算，由填充、迭代过程、消息扩展和压缩 函数所构成。 • 保证信息的完整性。 • 在商用密码体系中，SM3 主要用于数字签名及验证、消息认证码生成及验证、随机数生成、密钥 扩充等。据国家密码管理局表示，其安全性及效率要高于 MD5 算法和 SHA-1 算法，与 SHA- 256 相当。 • SM3 将对长度为l(l < 2^64) 比特的消息