基于静态分析的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 do_sth(request, user): assert user.is_admin, "Permission denied!" user.balance += 100 应对： Assert 语句不应用于业务逻辑条件检查，只应用于程序员之间的 沟通，如单元测试、数据边界检查、API调用约束说明等。 小心 pickle import os import pickle class ShellExp: def "__main__": shellcode = pickle.dumps(ShellExp()) pickle.loads(shellcode) 应对： 绝不对不可信/未认证数据进行unpickle，使用更安全的JSON 或YAML做序列化。必须使用pickle时在沙盒环境执行。 小心 PyYAML 应对： 使用yaml.safe_load，必要时编写自定义 Loader 做更严格的检查。 对不可信来源的序列化检查后操作。

JAVA 应用与开发 控制台应用程序设计 让我们愉快的 Coding 起来吧... ��� �������������� October 13, 2018 ���� ����������� ��������������行参数��������输入 输出的����关 Java �作 �� Java 文件�作的的��方法 ������ �� Jar �����������行� IDE ������参数���参数��为��行参数��法����� 1 java <������> [<��行参数>]* O 说明 命令行参数将被系统接收并静态初始化为一个一维的 String 数 组对象，然后将之作为实参传给应用程序入口方法 main()。 命令行参数须使用空格符分隔，如果参数中包含空格符则必须 使用双引号括起来。 8 41 ����� ��行参数 ���� Java ��������可�一������������ ������参数���参数��为��行参数��法����� 1 java <������> [<��行参数>]* O 说明 命令行参数将被系统接收并静态初始化为一个一维的 String 数 组对象，然后将之作为实参传给应用程序入口方法 main()。 命令行参数须使用空格符分隔，如果参数中包含空格符则必须 使用双引号括起来。 8 41 ����� 课程配套代码 ± sample.commandline.CommandLineArgsSample

大纲 Web 基础 Servlet 概述 Servlet 编程 Servlet 生命周期 Servlet 配置 Servlet 部署 Servlet 示例 Java 应用与开发 Servlet 编程 王晓东 wangxiaodong@ouc.edu.cn 计算机科学与技术系 November 13, 2018 大纲 Web 基础 Servlet 概述 Servlet 编程 Servlet Servlet 生命周期 Servlet 配置 Servlet 部署 Servlet 示例 学习目标 1. 理解 Web 的概念及工作模式，掌握 Java Web 应用的构成。 2. 掌握 Servlet 的概念、体系结构及生命周期管理基本原理。 3. 掌握 Servlet 的编程及配置方法，了解 Servlet 的在 Tomcat 服务器上的部署方式（war）。 大纲 Web 基础 Servlet （图片、声音、视频）。 大纲 Web 基础 Servlet 概述 Servlet 编程 Servlet 生命周期 Servlet 配置 Servlet 部署 Servlet 示例 Java Web 应用的构成 ▶ HTML 文档 ▶ CSS ▶ JavaScript ▶ 图片文件 ▶ Servlet ▶ JSP ▶ JavaBean 类 ▶ Java Lib ▶ Web 配置文件：/WEB-INF/web

大纲 异常的概念及分类 Java 异常处理机制 Java 应用与开发 异常处理 王晓东 wangxiaodong@ouc.edu.cn 中国海洋大学 October 30, 2018 大纲 异常的概念及分类 Java 异常处理机制 学习目标 1. 掌握 Java 异常的概念和分类 2. 深入理解 Java 异常处理机制 大纲 异常的概念及分类 Java 异常处理机制 大纲 异常的概念及分类 异常处理机制 C++ 中的异常处理 O 《The C++ Programming Language》 ▶ 一个库的作者可以检测出发生了运行时错误，但一般不知道 怎样去处理它们（因为和用户具体的应用有关）； ▶ 另一方面，库的用户知道怎样处理这些错误，但却无法检查 它们何时发生（如果能检测，就可以再用户的代码里处理 了，不用留给库去发现）。  提供异常处理机制的的基本思想 让一个函数在 异常处理机制 C++ 中的异常处理 O 《The C++ Programming Language》 ▶ 一个库的作者可以检测出发生了运行时错误，但一般不知道 怎样去处理它们（因为和用户具体的应用有关）； ▶ 另一方面，库的用户知道怎样处理这些错误，但却无法检查 它们何时发生（如果能检测，就可以再用户的代码里处理 了，不用留给库去发现）。  提供异常处理机制的的基本思想 让一个函数在

JAVA 应用与开发 泛 型 让我们愉快的 Coding 起来吧... ��� �������������� October 5, 2018 ���� 理��型的��，������� ▶ �合���的�型 ▶ �型的����� ������型类��型�法 ▶ 理�类型参数 ▶ 理�����������的�型类��型�法 ▶ 受��的类型参数 ��处理�型类型，����������型�器����作

大纲 线程基础 线程控制 线程的同步 Java 应用与开发 线程编程 王晓东 wangxiaodong@ouc.edu.cn 中国海洋大学 November 6, 2018 大纲 线程基础 线程控制 线程的同步 学习目标 1. 线程基础：理解任务调度、进程和线程，掌握其联系和区别； 掌握 Java 的线程模型，以及如何创建线程；理解后台线程。 2. 线程控制：理解线程的生命周期，明白各阶段的含义；掌握 线程控制：理解线程的生命周期，明白各阶段的含义；掌握 线程控制方法，理解各线程控制方法对线程状态切换的作 用。 3. 线程的同步：理解临界资源问题，进一步明白线程安全的意 义；了解关键字 synchronized 的用法；了解死锁的概念；通 过生产者—消费者问题分析理解线程同步。 大纲 线程基础 线程控制 线程的同步 大纲 线程基础 相关知识回顾 线程的概念模型 创建线程 后台线程 线程控制 线程生命的周期 线程优先级 大纲 线程基础 线程控制 线程的同步 相关知识回顾 概念回顾 O 进程 ▶ 进程是一个具有一定独立功能的程序在一个数据集上的一次 动态执行的过程，是操作系统进行资源分配和调度的一个独 立单位，是应用程序运行的载体。 (展示类 UNIX 系统的进程树) ▶ 进程一般由程序段、数据段和进程控制块三部分构成进程 实体。 大纲 线程基础 线程控制 线程的同步 相关知识回顾 什么是线程 根据多

阶段1：逐idc，逐机器配置修改； ž 阶段2：svn统一提交修改，每个idc一份； ž 阶段3：配置统一管理化（agent模型）； ž 一处修改，统一管理； ž 节点状态查看、回滚配置； ž 数据安全、强一致性； goconf /config/ | service/ | idc1/ | current/（ {"last_ver":"v1