基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 报告日期：2022.11.25 复旦大学 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 Rust语言 ❑ 系统级安全编程语言 ▪ 内存安全 ▪ 并发安全 ▪ 效率 2006年 2011年 Mozilla… Rust如何保障内存安全？ ❑ 内存安全问题产生的主要原因之一是指针别名导致悬空指针 ▪ 手动释放内存或调用析构函数 ▪ 函数返回时发生的自动析构或内存释放 ❑ Rust设计的目标之一是编译时检查指针别名（共享可变引用） ▪ 但一般意义上的指针分析是NP-hard问题 ▪ 智能指针可行，但作为运行时方案，效率低 ▪ Rust在语法设计中引入所有权机制，简化指针分析问题 handling drop(_0) 返回值 Auto Memory Reclaim问题：示例2 创建未初始化的变量foo Panic将导致访问未初始化内存 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 研究挑战和思路 ❑ 研究挑战：指针分析是NP-hard问题 ▪ 准确性：应采用路径敏感的指针分析算法，避免过多误报 ▪ 分析效率：应基于Rust MIR的特点对算法进行优化，使其可行

KDD Cup 2020 多模态召回比赛季军方案与搜索业务应用 252 对话任务中的“语言 - 视觉”信息融合研究 267 ICDM 论文：探索跨会话信息感知的推荐模型 278 自然场景人脸检测技术实践 289 技术解析 | 横纵一体的无人车控制方案 304 目录 智能搜索模型预估框架 Augur 的建设与实践 作者：朱敏 紫顺 乐钦 洪晨 乔宇 武进 孝峰 俊浩等 1. 背景 以点评搜索为例，在 Poker+Augur 稳定上线之后，经过短短半年的时间，点评搜索 核心 KPI 在高位基础上仍然实现了大幅提升，是过去一年半涨幅的六倍之多，提前半 算法 < 19 年完成全年的目标。 4.4 进阶预估操作：模型也是特征 4.4.1 Model as a Feature，同构 or 异构？ 在算法的迭代中，有时会将一个模型的预估的结果当做另外一个模型输入特征，进而 取得更好的效果。如美团搜索与 排序流程为多层 排序，分别是粗排、精排、异构排序等，多层排序的流程主要是为了平衡效果和性 能。其中搜索核心精排策略是 DNN 模型，我们始终贴近业务，并且结合先进技术， 从特征、模型结构、优化目标角度对排序效果进行了全面的优化。 近些年，基于 Transformer[1] 的一些 NLP 模型大放光彩，比如 BERT[2] 等等， 将 Transformer 结构应用于搜索推荐系统也成为业界的一个潮流。比如应用于对

也欢迎大家转给更多有相同兴趣、积极上进的同事和朋友们，一起切 磋，共同成长。 祝愿2023年，大家诸事顺遂，健康平安。 序 算法 1 YOLOv6：又快又准的目标检测框架开源啦 1 目标检测开源框架 YOLOv6 全面升级，更快更准的 2.0 版本来啦 13 通用目标检测开源框架 YOLOv6 在美团的量化部署实战 17 7 次 KDD Cup&Kaggle 冠军的经验分享：从多领域优化到 AutoML 框架 1277 Linux 中基于 eBPF 的恶意利用与检测机制 1293 如何应对开源组件风险？软件成分安全分析（SCA）能力的建设与演进 1328 算法 < 1 YOLOv6：又快又准的目标检测框架开源啦 作者：楚怡 凯衡 等 1. 概述 YOLOv6 是美团视觉智能部研发的一款目标检测框架，致力于工业应用。本框架 同时专注于检测的精度和推理效率，在工业界常用的尺寸模型中：YOLOv6-nano 小伙伴们 Star 收 藏，随时取用。 精度与速度远超 YOLOv5 和 YOLOX 的新框架 目标检测作为计算机视觉领域的一项基础性技术，在工业界得到了广泛的应用，其 中 YOLO 系列算法因其较好的综合性能，逐渐成为大多数工业应用时的首选框 架。至今，业界已衍生出许多 YOLO 检测框架，其中以 YOLOv5[1]、YOLOX[2] 和 PP-YOLOE[3] 最具代表性，但在实

版本发布 Kotlin 路线图 基础 基本语法 习惯用法 例学 Kotlin↗ 编码规范 概念 类型 基本类型 概述 数字 布尔 字符 字符串 数组 无符号整型 类型检测与类型转换 1.8.2 1.8.2.1 1.8.2.2 1.8.2.3 1.8.3 1.8.4 1.8.4.1 1.8.4.2 1.8.4.3 1.8.4.4 1.8.4.5 应用程序能用于 iOS——教程 发布应用程序 使用 Ktor 和 SQLDelight 创建多平台应用——教程 Kotlin 多平台用于其他平台 Kotlin 多平台入门 了解多平台项目结构 手动设置目标 创建多平台库 1.9.3.1 1.9.3.2 1.9.4 1.9.4.1 1.9.4.2 1.9.4.3 1.9.4.4 1.9.5 1.9.5.1 1.9.5.2 1.9 4.9.1 1.10.4.9.2 1.10.4.9.3 1.10.4.9.4 1.10.4.9.5 1.10.4.9.6 1.10.4.9.7 符号化 iOS 崩溃报告 参考与提示 目标平台支持 改进编译时间 许可证文件 Kotlin/Native FAQ WebAssembly（Wasm） 在 IntelliJ IDEA 中入门 Kotlin/Wasm 添加 Kotlin

版本发布 Kotlin 路线图 基础 基本语法 习惯用法 例学 Kotlin↗ 编码规范 概念 类型 基本类型 概述 数字 布尔 字符 字符串 数组 无符号整型 类型检测与类型转换 控制流程 条件与循环 返回与跳转 异常 包与导入 类与对象 类 继承 属性 接口 函数式（SAM）接口 可见性修饰符 扩展 3 1.8.4.8 1.8.4 应用程序能用于 iOS——教程 发布应用程序 使用 Ktor 和 SQLDelight 创建多平台应用——教程 Kotlin 多平台用于其他平台 Kotlin 多平台入门 了解多平台项目结构 手动设置目标 创建多平台库 创建并发布多平台库——教程 发布多平台库 共享代码原则 平台间共享代码 接入平台相关 API 分层项目结构 Android 源代码集布局 添加依赖项 添加依赖项 内存管理 iOS 集成 迁移到新版内存管理器 旧版内存管理器 不可变性与并发 并发概述 并发可变性 并发与协程 调试 Kotlin/Native 符号化 iOS 崩溃报告 参考与提示 目标平台支持 改进编译时间 许可证文件 Kotlin/Native FAQ WebAssembly（Wasm） 在 IntelliJ IDEA 中入门 Kotlin/Wasm 添加 Kotlin

相关政策、法规（2） n 胡锦涛总书记重要指示 q “把握信息化发展的方向、维护国家在网络空间的安全和利益成 为信息时代的重大战略课题。” n 政策文件和规划中对信息安全的要求 q 《国家信息化的战略目标（2006-­2020）》指出：“建立和完善 信息安全等级保护制度，重点保护基础信息网络和关系国家安全、 经济命脉、社会稳定的重要信息系统”，我国到2020年应该达到： “国家信息安全保障水平大幅提高”。 第三级 网络安全： 访问控制（对进出网络的信息进行过滤，并使对 HTTP等协议进行命令级控制） 入侵防范（木马、DDoS、缓冲区溢出） 安全审计 恶意代码防范 数据安全： 数据完整性（应能检测到重要业务数据的完整性 破坏，并采取必要的恢复措施） 第二级 网络安全： 入侵防范（木马、DDoS、缓冲区溢出） 安全审计 1.5.攻击案例 n 略 提纲 一、背景概述 二、典型攻击 防火墙\IPS 数据库系统 遗留系统 Web 服务 目录服务 人力资源 计费 定制开发的应用代码 用户和 攻击者 网络层防护(防火墙, SSL, IDS, OS加固) 无法检测并阻止应用层攻击 网络层 应用层 在应用层，我们的安全边界存在巨大 的漏洞！！！ 提纲 一、背景概述 二、典型攻击 三、攻防原理 四、防护产品体系 3.1. SQL注入 16 概述

language=eng OUTPUT -taget type （output） ：指定目标文件类型(vcd,svcd,dvd,dv,dv50)，类型还可以前缀一 个 pal- , ntsc- 或者 film- 来设定更具体的标准。所有的格式选项(码率、编码、缓冲尺 寸)都会自动设置，而你仅仅只需要设置目标类型： 1. ffmpeg -i myfile.avi -taget vcd /tmp/vcd (encoding,video) 1. 设置视频码率偏离公差（video bitrate tolerance），单位bits/s。对于1次编码模式中码率控制公差指愿意偏离目标（码 率）的平均码率值，故不能由此确定最小/最大码率，即不能假定最小/最大码率是目标码率+-码率偏离公差。太低的偏离公差影响 编码后的质量。 flags flags (decoding/encoding,audio,video,subtitles) 1. 解决不能自动检测/识别编码的错误（bug） 2. 3. 可能值: 4. 5. ‘autodetect’ 6. ‘old_msmpeg4’ 7. 8. 一些旧lavc处理的msmpeg4v3文件(不能自动检测) 9. ‘xvid_ilace’ 10. 11. Xvid交错错误 (如果强制为fourcc==XVIX则可自动检测) 12. ‘ump4’

团队成员，C 语言、Unix 和 Plan 9 的创始人之一，与 Rob Pike 共同开 发了 UTF-8 字符集规范。自 2008 年 1 月起，Ken Thompson 就开始研发一款以 C 语言为目标结果的编 译器来拓展 Go 语言的设计思想。 这是一个由计算机领域 “发明之父” 所组成的黄金团队，他们对系统编程语言，操作系统和并行都有着非 常深刻的见解 图 1.1 Go 语言设计者：Griesemer、Thompson otour 进行 安装。 1.2 语言的主要特性与发展的环境和影响因素 1.2.1 影响 Go 语言发展的早期编程语言 1.2.2 为什么要创造一门编程语言 1.2.3 Go 语言的发展目标 1.2.4 指导设计原则 1.2.5 语言的特性 1.2.6 语言的用途 1.2.7 关于特性缺失 1.2.8 使用 Go 语言编程 1.2.9 小结 1.2.1 影响 Go 语言发展的早期编程语言 衡：快速编译，高效执行，易于开发。 1.2.3 Go 语言的发展目标 Go 语言的主要目标是将静态语言的安全性和高效性与动态语言的易开发性进行有机结合，达到完美平 衡，从而使编程变得更加有乐趣，而不是在艰难抉择中痛苦前行。 因此，Go 语言是一门类型安全和内存安全的编程语言。虽然 Go 语言中仍有指针的存在，但并不允许进 行指针运算。 Go 语言的另一个目标是对于网络通信、并发和并行编程的极佳支持，从而更好地利用大量的分布式和多

模块添加的常量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4 内置类型 35 4.1 逻辑值检测 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.2 布尔运算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1953 32.6 tabnanny --- 检测有歧义的缩进 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1955 32.7 pyclbr --- Python source 和 filename。此事件也可通过隐式编译来引发。 � 备注 在 'single' 或 'eval' 模式编译多行代码字符串时，输入必须以至少一个换行符结尾。这 使code 模块更容易检测语句的完整性。 � 警告 在将足够大或者足够复杂的字符串编译成 AST 对象时，Python 解释器有可能因为 Python AST 编译器的栈深度限制而崩溃。 在 3.2 版本发生变更: Windows

模块添加的常量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4 内置类型 35 4.1 逻辑值检测 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.2 布尔运算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1949 32.6 tabnanny --- 检测有歧义的缩进 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1951 32.7 pyclbr --- Python source 和 filename。此事件也可通过隐式编译来引发。 � 备注 在 'single' 或 'eval' 模式编译多行代码字符串时，输入必须以至少一个换行符结尾。这 使code 模块更容易检测语句的完整性。 � 警告 在将足够大或者足够复杂的字符串编译成 AST 对象时，Python 解释器有可能因为 Python AST 编译器的栈深度限制而崩溃。 在 3.2 版本发生变更: Windows