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 可靠性 现有的机制是否足够呢？ •

大纲 数组的概念 一维数组 二维数组 字符串 Java 应用与开发 Java 数组和字符串 王晓东 wangxiaodong@ouc.edu.cn 中国海洋大学 October 16, 2020 大纲 数组的概念 一维数组 二维数组 字符串 参考书目 1. 陈国君等编著, Java 程序设计基础（第 5 版）, 清华大学出 版社 2. Bruce Eckel, Thinking in (3rd) 大纲 数组的概念 一维数组 二维数组 字符串 学习目标 1. 掌握 Java 数组的概念 2. 学会一维数组和二维数组的使用；认识 Arrays 类，掌握操 作数组相关方法 3. 掌握 Java 字符串的概念，字符串与数组的关系；学会 String 类常用字符串操作方法 大纲 数组的概念 一维数组 二维数组 字符串 大纲 数组的概念 一维数组 二维数组 字符串 大纲 大纲 数组的概念 一维数组 二维数组 字符串 接下来… 数组的概念 一维数组 二维数组 字符串 大纲 数组的概念 一维数组 二维数组 字符串 数组的基本概念 数组是相同数据类型的元素按一定顺序排列的集合。Java 中， 数组元素既可以为基本数据类型，也可以为对象。 O Java 的内存分配（基础） 栈内存 存放定义的基本类型的变量和对象的引用变量，超 出作用域将自动释放。 堆内存

Laravel 5.2 在 5.1 基础上继续改进和优化，添加了许多新的功能特性：多认证驱动支 持、隐式模型绑定、简化 Eloquent 全局作用域、可选择的认证脚手架、中间件组、访问频 率限制、数组输入验证优化等等。 多认证驱动 在之前的 Laravel 版本中，框架只支持默认的、基于 session 的认证驱动，且在单个应 用中只能拥有一个认证模型类（对应单张表），这为我们实现某型功能，比如前后端分离 Route::get('/api/users', ['middleware' => 'throttle:60,1', function () { // }]); 数组输入验证 在 Laravel 5.2 可轻松实现表单字段的数组输入验证。例如，要验证给定数组输入字段中 的每一个 email 是唯一的，可以这么实现： $validator = Validator::make($request->all() , [ 'person.*.email' => 'email|unique:users' ]); 同样，你可以在语言文件中使用 * 来指定验证数组字段： 'custom' => [ 'person.*.email' => [ 'unique' => 'Each person must have a unique e-mail address'

.org 3 Eloquent 日期转化 现在你可以单独自定义 Eloquent 日期字段转化格式了，开始之前，需要在转化声明中指定目标日期格式。指定好之后，该格式就会在模型序列化为 数组/JSON 时使用： protected $casts = [ 'birthday' => 'date:Y-m-d', 'joined_at' => 'datetime:Y-m-d Symfony 更新日 志以确认是否需要修改代码。 PHPUnit 需要更新应用的 phpunit/phpunit 依赖到 ~7.0。 数组 Arr::wrap 方法 在 Laravel 5.6 中，传递 null 到 Arr::wrap 方法将会返回空数组。 Artisan optimize 命令 之前版本中废弃的 optimize 命令已经被彻底移除。由于 PHP 自身的性能优化，optimize Paginator::useBootstrapThree(); } } 资源 original 属性 资源响应的 original 属性现在被设置为原始模型而不是 JSON 字符串/数组。这样在测试中就可以更好地检查响应的模型。 路由 返回新创建的模型 从路由中直接返回新创建的 Eloquent 模型时，响应状态码由 200 调整为 201，如果应用的任意相应测试显式期望

框架之间共享相同的事件名称。 更多关于事件广播的内容请查看事件一节。 中间件参数 Laravel 5.1 里，中间件可以接受额外的自定义参数，例如，如果你的应用需要在执行给定 的 action 之前验证被授予指定“角色”的认证用户，可以创建一个 RoleMiddleware 来接收角 色名称作为额外参数： 数组。 认证 如果你在使用 Laravel 自带的 AuthenticatesAndRegistersUsers 的 AuthController，则需 要对新用户的验证和创建做一些代码改动： 首先，你不再需要传递 Guard 和 Register 实例到构造函数，你可以从控制器的构造器中完 Validator 和 User 在 AuthController 中是否已经被导入。 PasswordController 不再需要在构造函数中声明任何依赖，可以移除 5.0 中要求的两个依 赖。 验证 如果你重写了 Controller 类中的 formatValidationErrors 方法，需要将类型提示由 Illuminate\Validation\Validator 改为 Ill

......................................................................................... 155 5.8 验证 .................................................................................................. 'place-orders' => 'Place new orders', 'check-status' => 'Check order status', ]); 此外，Passport 还包含了用于验证访问令牌认证请求包含必要令牌域的中间件： Route::get('/orders/{order}/status', function (Order $order) { // Access HHVM，因为其不包含 PHP 5.6+新提供 的语言特性。 废弃 所有罗列在 Laravel 5.2 升级指南中的废弃功能都已从框架中移除，你需要查看这个列表以确定不 再使用这些废弃功能。 数组 key/value 顺序更改 Arr 类上的 first、last、以及 contains 方法现在将“value”作为第一个参数传递给给定闭包，例 如： Arr::first(function

本文档由学院君提供 学院君致力于提供优质 Laravel 中文学习资源：https://xueyuanjun.com 7 创建完中间件后，可以通过在任务类的 middleware 方法中返回中间 件数组来将其追加到队列任务中： use App\Jobs\Middleware\RateLimited; /** * Get the middleware the job should pass through --auth 升级指南 重要更新概览 影响较大  授权资源 & viewAny  字符串 & 数组辅助函数 影响中等  认证 RegisterController  不再支持 Carbon 1.x  数据库 Capsule::table 方法  Eloquent 数组化 & toArray  Eloquent BelongsTo::update 方法  Eloquent 本文档由学院君提供 学院君致力于提供优质 Laravel 中文学习资源：https://xueyuanjun.com 12  本地化 Lang::getFromJson 方法  队列重试限制  重发邮箱验证路由  Input 门面 预计升级时间：1 个小时 注：本文档适用于是从 Laravel 5.8 升级到 6.0，我们将 尽可能在文档中列出所有重大更新。 PHP 7.2 影响级别：中等

輮 輮 輮 輮 輲 輹 輷 輷 輮 輲 输入验证 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輳 輰 輲 輷 輮 輳 文件上传 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輳 輱 輸 輷 輮 輴 收集列表输入 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輴 輵 輳 輱 輴 輮 輲 控制台命令 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輴 輵 輴 輱 輴 輮 輳 核心验证器（轃 软 轲 轥 轖 轡 转 轩 轤 轡 轴 软 轲 轳 ） 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輴 輶 輱 輱 輴 輮 輴 轙 轩 轩 和 轄 软 轣 轫 轥 轲 ） 匵 匱 匱 輱 輶 輮 輱 助手类（轈 轥 转 轰 轥 轲 轳 ） 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輵 輱 輱 輱 輶 輮 輲 数组助手类（轁 轲 轲 轡 轹 轈 轥 转 轰 轥 轲 ） 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輵 輱 輲 輱 輶 輮 輳 轈 轴 轭 转 帮助类（轈 轴 轭 转

Web基础 3.1 web工作方式 3.2 Go搭建一个简单的web服务 3.3 Go如何使得web工作 3.4 Go的http包详解 3.5 小结 4.表单 4.1 处理表单的输入 4.2 验证表单的输入 4.3 预防跨站脚本 4.4 防止多次递交表单 4.5 处理文件上传 4.6 小结 5.访问数据库 5.1 database/sql接口 5.2 使用MySQL数据库 5.3 使用SQLite数据库 7.7 小结 8.Web服务 8.1 Socket编程 8.2 WebSocket 8.3 REST 8.4 RPC 8.5 小结 9.安全与加密 9.1 预防CSRF攻击 9.2 确保输入过滤 9.3 避免XSS攻击 9.4 避免SQL注入 9.5 存储密码 9.6 加密和解密数据 9.7 小结 10.国际化和本地化 10.1 设置默认地区 10.2 本地化资源 10.3 国际化站点 如何判断自己的操作系统是32位还是64位？ 如何判断自己的操作系统是32位还是64位？ 我们接下来的Go安装需要判断操作系统的位数，所以这小节我们先确定自己的系统类型。 Windows系统用户请按Win+R运行cmd，输入systeminfo后回车，稍等片刻，会出现一些系统信息。在“系统类 型”一行中，若显示“x64-based PC”，即为64位系统；若显示“X86-based PC”，则为32位系统。 Mac