基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 报告日期：2022.11.25 复旦大学 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 Rust语言 ❑ 系统级安全编程语言 ▪ 内存安全 ▪ 并发安全 ▪ 效率 2006年 2011年 Foundation成立 2020年 2021年 Mozilla裁员Servo团队 AWS, Huawei, Google, Microsoft, Mozilla… Rust如何保障内存安全？ ❑ 内存安全问题产生的主要原因之一是指针别名导致悬空指针 ▪ 手动释放内存或调用析构函数 ▪ 函数返回时发生的自动析构或内存释放 ❑ Rust设计的目标之一是编译时检查指针别名（共享可变引用） ▪ 0x012345usize; let r = address as *const i32; } unsafe { risky(); } 调用unsafe函数 定义unsafe函数 Rust的安全哲学 ❑ Safe API无论如何被使用都不应带来未定义行为 ❑ 程序员应避免直接使用unsafe code ❑ Interior unsafe：将unsafe code封装为safe API

第三届中国 Rust 开发者大会 安全高效的二进制序列化 Daniel Wang @ NEAR Borsh • 运行、编码效率 • 确定性 • 跨平台兼容性 二进制序列化的问题 Binary Object Representation Serializer for Hashing • 字节级别确定性 • 执行速度快 Borsh • 轻量级 • 每一个对象与其二进制表示之间都存在一个双射映射

编写安全的Python代码 邓良驹 2019.10.19 思考题 if user.balance >= product.price: user.balance -= product.price ? 目录 CONTENTS 常见不安全代码 代码检查的工具 总结：如何规避风险 常见不安全代码 小心 eval 应对： 在生产环境中，任何情况下都不要使用eval。 import sys "__main__": shellcode = pickle.dumps(ShellExp()) pickle.loads(shellcode) 应对： 绝不对不可信/未认证数据进行unpickle，使用更安全的JSON 或YAML做序列化。必须使用pickle时在沙盒环境执行。 小心 PyYAML 应对： 使用yaml.safe_load，必要时编写自定义 Loader 做更严格的检查。 对不可信来源的序列化检查后操作。 有的甚至是故意、恶意为之。 应对： 谨慎选择第三方 PyPI 包，尽量少导入 PyPI 包； 利用 https://pyup.io/ 等服务保持检查和更新依赖； 利用 Chef InSpect 落实代码安全规范的检查。 *参考资料：“驹说码事” 《如何import一个不存在的对象》 https://mp.weixin.qq.com/s/0_ivKVDU-nKf3r-c96sqrA 利用 Bandit

解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展， 可用性的保留，白来的午餐？ 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型 54 -> 0.59 3.14 -> 0.93 2.00 -> 0.03 2.60 -> 0.96 如果还有时间，我们用静态类型 来写一个简单的网页生成框架 一个用起来，没有学习曲线的框架。 很安全，因为没有程序员需要付出心 智负担的工作。 THANK YOU thautwarm: - github.com/thautwarm - twshere@outlook.com

第21章：通道 - Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第46章：一些简单的总结 第47章：关于Go中的nil 第48章：类型转换、赋值和值比较规则大全 第49章：Go中的一些语法/语义例外 第50章：Go细节101 第51章：Go问答101 第52章：Go技巧101 第53章：更多关于Go的知识 本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和 Go101.org网站不断增容和维护的动力。 赞赏 （请搜索关注微信公众号“Go ShuMin、 Bai Kai、 modood、 xmwilldo、 TheChalice和zonesan等。 第1章：致谢 7 特别感谢白凯同学帮助我翻译了《细节101》、《问答101》和《技巧101》三篇文 章。 我很抱歉如果上述列表遗漏了某个曾经给予我帮助的成员。 Go社区有如此多友善和 富有创造性的成员，以至于上述列表肯定遗漏了某些成员。 感谢所有曾经直接或者 间接，有意或者无意帮助过我完成这本书的Go社区成员。

函数类型和函数值，以及变长参数个数函数 第21章：通道 - Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第46章：一些简单的总结 第47章：关于Go中的nil 第48章：类型转换、赋值和值比较规则大全 第49章：Go中的一些语法/语义例外 第50章：Go细节101 第51章：Go问答101 第52章：Go技巧101 第53章：更多关于Go的知识 本书由老貘 历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本 书和Go101.org网站不断增容和维护的动力。 （请搜索关注微信公众号“Go ZhaoYan、 Li ShuMin、 Bai Kai、 modood、 xmwilldo、 TheChalice和zonesan等。 特别感谢白凯同学帮助我翻译了《细节101》、《问答101》和《技巧101》三篇 文章。 我很抱歉如果上述列表遗漏了某个曾经给予我帮助的成员。 Go社区有如此多友 善和富有创造性的成员，以至于上述列表肯定遗漏了某些成员。 感谢所有曾经 直接或者间接，有意或者无意帮助过我完成这本书的Go社区成员。

第21章：通道 - Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第46章：一些简单的总结 第47章：关于Go中的nil 第48章：类型转换、赋值和值比较规则大全 第49章：Go中的一些语法/语义例外 第50章：Go细节101 第51章：Go问答101 第52章：Go技巧101 第53章：更多关于Go的知识 本书由老貘 ? 历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是 本书和Go101.org网站不断增容和维护的动力。 赞赏 （请搜索关注微信公众号“Go ZhaoYan、 Li ShuMin、 Bai Kai、 modood、 xmwilldo、 TheChalice和zonesan等。 特别感谢白凯同学帮助我翻译了《细节101》、《问答101》和《技巧101》三 篇文章。 我很抱歉如果上述列表遗漏了某个曾经给予我帮助的成员。 Go社区有如此多 友善和富有创造性的成员，以至于上述列表肯定遗漏了某些成员。 感谢所有 曾经直接或者间接，有意或者无意帮助过我完成这本书的Go社区成员。

BCOS 781 i 23 社 社 社区 区 区 1317 ii FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.1 FISCO BCOS 是一个稳定、高效、安全的区块链底层平台，经过多家机构、多个应用，长时间在生产环 境运行的实际检验。 • 了解FISCO BCOS区块链 • FISCO BCOS 2.X新特性 • 搭建第一个区块链网络 • 开发第一个区块链应用 平 平台 台 台介 介 介绍 绍 绍 CHAPTER 1 FISCO BCOS 区块链 标签：FISCO BCOS介绍 关键特性 开发工具 FISCO BCOS是由国内企业主导研发、对外开源、安全可控的企业级金融联盟链底层平台，由金链盟开 源工作组协作打造，并于2017年正式对外开源。 社区以开源链接多方，截止2020年5月，汇聚了超1000家企业及机构、逾万名社区成员参与共建共治， 发展 BCOS底层平台研发，超80个已在生产环境中稳定运行，覆盖文化版权、司法服务、政务服 务、物联网、金融、智慧社区等领域。 注 注 注解 解 解: FISCO BCOS以联盟链的实际需求为出发点，兼顾性能、安全、可运维性、易用性、可扩展性， 支持多种SDK，并提供了可视化的中间件工具，大幅缩短建链、开发、部署应用的时间。此外，FISCO BCOS通过信通院可信区块链评测功能、性能两项评测，单链TPS可达两万。

====>> 切换至 3.0 版本文档 请根据需求选择FISCO BCOS的版本，并确认周边组件与其版本相匹配。 FISCO BCOS 2.0 技术文档 FISCO BCOS 是一个稳定、高效、安全的区块链底层平台，经过多家机构、多 个应用，长时间在生产环境运行的实际检验。 注解 本技术文档适用于FISCO BCOS 2.x版本, FISCO BCOS 3.x技术文档请参考 FISCO BCOS 全，运维部署工具提供了一种机构间相互合作部署联盟链方式。 数据治理通用组件：释放数据价值 数据治理通用组件的全名是“WeBankBlockchain-Data数据治理通用组件”， 它是一套稳定、高效、安全的区块链数据治理组件解决方案，可无缝适配 FISCO BCOS区块链底层平台。它由数据导出组件(Data-Export)、数据仓库 组件(Data-Stash)、数据对账组件(Data-Reconcile)这三款相互独立、可插 io/en/latest/] FISCO BCOS 区块链 标签：FISCO BCOS介绍 关键特性 开发工具 FISCO BCOS是由深圳市金融区块链发展促进会（以下简称“金链盟”）开源工 作组牵头研发的金融级、国产安全可控的区块链底层平台。作为最早开源的 国产联盟链底层平台之一，FISCO BCOS于2017年面向全球开源。 开源六周年至今，FISCO BCOS开源社区在技术创新、应用产业以及开源生 态均取得了非凡成绩。

====>> 切换至 3.0 版本文档 请根据需求选择FISCO BCOS的版本，并确认周边组件与其版本相匹配。 FISCO BCOS 2.0 技术文档 FISCO BCOS 是一个稳定、高效、安全的区块链底层平台，经过多家机构、多 个应用，长时间在生产环境运行的实际检验。 注解 本技术文档适用于FISCO BCOS 2.x版本, FISCO BCOS 3.x技术文档请参考 FISCO BCOS 全，运维部署工具提供了一种机构间相互合作部署联盟链方式。 数据治理通用组件：释放数据价值 数据治理通用组件的全名是“WeBankBlockchain-Data数据治理通用组件”， 它是一套稳定、高效、安全的区块链数据治理组件解决方案，可无缝适配 FISCO BCOS区块链底层平台。它由数据导出组件(Data-Export)、数据仓库 组件(Data-Stash)、数据对账组件(Data-Reconcile)这三款相互独立、可插 io/en/latest/] FISCO BCOS 区块链 标签：FISCO BCOS介绍 关键特性 开发工具 FISCO BCOS是由深圳市金融区块链发展促进会（以下简称“金链盟”）开源工 作组牵头研发的金融级、国产安全可控的区块链底层平台。作为最早开源的 国产联盟链底层平台之一，FISCO BCOS于2017年面向全球开源。 开源六周年至今，FISCO BCOS开源社区在技术创新、应用产业以及开源生 态均取得了非凡成绩。