## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: 甚至Haskell程序员们能够在HGoogle中通过函数的类型签名来寻找函数。 程序效率：动态类型不利于编译优化 ## 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 类型系统的分类——声明式类型系统与结构化类型系统 声明类型系统通过名字来检查类型 PEP 3107 – Function Annotations 由于Python2中缺少缺少注释函数参数和返回值的标准，因此出现了各种工具和库来填补这一空白。一些工具会解析函数的文档字符串，在这里寻找函数的注释。 这个PEP旨在钦定一种标准的方式，来减少各种库和工具采用的不同方法引起的混乱。 ## PEP 484 – Type Hints PEP 3107增加了对函数定义各部分上的任意注释的支持

## 基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 复旦大学 报告日期：2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 研究挑战：指针分析是NP-hard问题 准确性：应采用路径敏感的指针分析算法，避免过多误报 分析效率：应基于Rust MIR的特点对算法进行优化，使其可行 ☐ 整体思路：基于编译过程中的生成的MIR进行静态分析 ■ 路径提取：控制流图=>生成树 别名分析：分析指针之间的关联关系 ■ 模式识别：根据预定义的缺陷模式检测指针漏洞 路径提取 ![Image](/uploads/documen

156 6.3.5 difflib 的命令行接口 ... 157 6.4 textwrap --- 文本自动换行与填充 ... 159 6.5 unicodedata --- Unicode 数据库 162 6.6 stringprep --- 因特网字符串预备 164 6.7 readline --- GNU readline 接口 165 6.7.1 初始化文件 166 6.7.2 行缓冲区 对象序列化 495 12.5 dbm --- Unix ”数据库”接口 496 12.5.1 dbm.gnu --- GNU 数据库管理器 498 12.5.2 dbm.ndbm --- 新数据库管理器 499 12.5.3 dbm.dumb --- 便携式 DBM 实现 500 12.6 sqlite3 --- SQLite 数据库 DB-API 2.0 接口模块 501 12.6.1 教程 Unix 平台 821 16.14.6 Linux 平台 822 16.15 errno --- 标准 errno 系统符号 822 16.16 ctypes --- Python 的外部函数库 829 16.16.1 ctypes 教程 829 16.16.2 ctypes 参考手册 847 # 7 并发执行 863 17.1 threading --- 基于线程的并行 863 17

正则表达式操作 100 6.3 difflib --- 计算差异的辅助工具 118 6.4 textwrap --- 文本自动换行与填充 127 6.5 unicodedata --- Unicode 数据库 130 6.6 stringprep --- 因特网字符串预备 132 6.7 readline --- GNU readline 接口 133 6.8 rlcompleter --- GNU Python 对象持久化 ... 405 12.4 marshal --- 内部 Python 对象序列化 ... 407 12.5 dbm --- Unix ”数据库”接口 ... 408 12.6 sqlite3 --- SQLite 数据库 DB-API 2.0 接口模块 ... 412 # 13 数据压缩和存档 ... 433 13.1 zlib --- 与 gzip 兼容的压缩 ... 433 16.14 platform --- 获取底层平台的标识数据 664 16.15 errno --- 标准 errno 系统符号 667 16.16 ctypes --- Python 的外部函数库 673 # 17 并发执行 703 17.1 threading --- 基于线程的并行 703 17.2 multiprocessing --- 基于进程的并行 714 17.3 multiprocessing

Differ 示例 135 6.3.5 difflib 的命令行接口 137 6.4 textwrap --- 文本自动换行与填充 138 6.5 unicodedata --- Unicode 数据库 141 6.6 stringprep --- 因特网字符串预备 143 6.7 readline --- GNU readline 接口 144 6.7.1 初始化文件 144 6.7.2 行缓冲区 439 12.5 dbm --- Unix ”数据库”接口 440 12.5.1 dbm.gnu --- GNU 对 dbm 的重解析 441 12.5.2 dbm.ndbm --- 基于 ndbm 的接口 442 12.5.3 dbm.dumb --- 便携式 DBM 实现 443 12.6 sqlite3 --- SQLite 数据库 DB-API 2.0 接口模块 444 12.6 Unix 平台 708 16.14.6 Linux 平台 708 16.15 errno --- 标准 errno 系统符号 708 16.16 ctypes --- Python 的外部函数库 714 16.16.1 ctypes 教程 714 16.16.2 ctypes 参考手册 731 # 17 并发执行 745 17.1 threading --- 基于线程的并行 745

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 6.5 unicodedata --- Unicode 数据库 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 6.6 stringprep --- 因特网字符串预备 Python 对象序列化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 456 12.5 dbm --- Unix ” 数据库” 接口 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457 12.5.1 dbm.gnu --- DBM 实现 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461 12.6 sqlite3 --- SQLite 数据库 DB-API 2.0 接口模块 . . . . . . . . . . . . . . . . . . . . . . . . . . 462 12.6.1 模块函数和常量 . . . . . .

difflib 的命令行接口 150 6.3.6 ndiff 示例 151 6.4 textwrap --- 文本自动换行与填充 153 6.5 unicodedata --- Unicode 数据库 157 6.6 stringprep --- 因特网字符串预处理 158 6.7 readline --- GNU readline 接口 160 6.7.1 初始化文件 160 6.7.2 ... 485 12.5 dbm --- Unix ”数据库”接口 ... 486 12.5.1 dbm.sqlite3 --- 针对 dbm 的 SQLite 后端 ... 488 12.5.2 dbm.gnu --- GNU 数据库管理器 ... 488 12.5.3 dbm.ndbm --- 新数据库管理器 ... 490 12.5.4 dbm.dumb dumb --- 便携式 DBM 实现 ... 491 12.6 sqlite3 --- SQLite 数据库的 DB-API 2.0 接口 ... 492 12.6.1 教程 ... 492 12.6.2 参考 ... 494 12.6.3 常用方案指引 ... 514 12.6.4 说明 ... 520 # 13 数据压缩和存档 ... 523 13.1

2 re—正则表达式操作 99 6.3 difflib—计算差异的辅助工具 117 6.4 textwrap—文本自动换行与填充 127 6.5 unicodeata—Unicode 数据库 131 6.6 stringprep—因特网字符串预备 132 6.7 readline—GNU readline 接口 134 6.8 rlcompleter—GNU readline 对象持久化 ..... 397 12.4 marshal — 内部 Python 对象序列化 ..... 399 12.5 dbm — Unix “数据库” 接口 ..... 400 12.6sqlite3 — SQLite 数据库 DB-API 2.0 接口模块 ..... 404 13 数据压缩和存档 ..... 425 13.1 zlib — 与 gzip 兼容的压缩 . platform — 获取底层平台的标识数据 ..... 655 16.15 errno — 标准 errno 系统符号 ..... 658 16.16 ctypes — Python 的外部函数库 ..... 664 17 并发执行 ..... 695 17.1 threading — 基于线程的并行 ..... 695 17.2 multiprocessing — 基于进程的并行

StringIO 114 7.7 textwrap — 文本自动换行与填充 115 7.8 codecs — 编解码器注册和相关基类 117 7.9 unicodedata — Unicode 数据库 131 7.10 stringprep — 因特网字符串预备 ..... 133 7.11 fpformat — Floating point conversions ..... 134 8 library ..... 324 11.12 dumbdbm — Portable DBM implementation ..... 327 11.13 sqlite3 — SQLite 数据库 DB-API 2.0 接口模块 ..... 328 12 数据压缩和存档 ..... 347 12.1 zlib — 与 gzip 兼容的压缩 ..... 347 12.2 gzip 获取底层平台的标识数据 ..... 556 15.16 errno — Standard errno system symbols ..... 560 15.17 ctypes — Python 的外部函数库 ..... 566 16 Optional Operating System Services ..... 601 16.1 select — Waiting for I/O 完成 .