静态类型的Python Lyzh（刘知杭） 目录 CONTENTS 有关类型的概念 使用mypy对Python源 代码进行静态分析 代数数据类型 拓展知识 关于类型的一些基本概念 有类型不等于有类型系统 动态语言类型化的必要性 不久前的一个案例 正文 类型的概念 CPython定义了PyObject这个 结构体作为对象头。 CPython中的类型，是指在对 象头中指向类型元信息的指针。 ness是类型系统研究的重要目标。 类型系统（type system）是一种编译期（Compile-time）的类型推导检查规则。 类型系统就是一种轻量级的形式化方法，它通常被植入编译器或程序分析器中进行自动校验。 从而让那些不熟悉底层理论的程序员也可以使用它们。 这类轻量级技术中还包括模型检测（Model checking），运行时验证（Runtime verification）和类型系统（Type 中通过函数的类型签名来寻找函数。 错误检查、程序验证 程序效率：动态类型不利于编译优化 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 类型系统的分类——声明式类型系统与结构化类型系统 声明类型系统通过名字来检查类型

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

面向亿行C/C++代码的 静态分析系统设计及实践 肖枭 自我介绍 2016年香港科技大学取得博士学位 过去10年一直以极高的热情从事静态 分析技术的学术用研究 合作创办源伞科技，致力于推动静态 分析技术在企业中的应用 目录 代码质量管理是个大问题 静态分析+代码评审的实践  学习和强调，红线和惩罚，100%的测试 覆盖率，和事后复盘并不够  有经验的程序员也会犯错  对代码提要求很难监督落实 对代码提要求很难监督落实  测试更多是验证功能，很难检测编码缺陷  代码的快速变化使质量更难管 生产质量是责任 靠运维和事后复盘善后够吗？  静态分析工具：半智能的代码分析机器人  静态分析辅助代码评审 自动化工具+流程才是未来 Bug! Thx! Bug!  投入大  KPI不痛不痒  使用主体和责任主体不一致  一步登天想要终极AI 代码质量改进工具、流程落地难 大多数开发人员眼中的静态分析工具 检查逻辑问题好，但耗时长 还挺多误报，想用而不敢用  编译器里的Errors and warnings  自带静态分析的语言如Typescript, Rust  IDE里的智能提示  代码混淆和美化  代码交叉索引  Eclipse等IDE中的一键重构  App市场的审核 成功静态分析应用 代码评审中的静态分析 针对该提交 代码片段自

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.7 静态模式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.8 Makefile 的函数，函数名为 subst，后面的为 参数。关于函数，将在后面讲述。这里的这个函数是替换字符串的意思，$@ 表示目标的集合，就像一个 数组，$@ 依次取出目标，并执于命令。 3.7 静态模式 静态模式可以更加容易地定义多目标的规则，可以让我们的规则变得更加的有弹性和灵活。我们还 是先来看一下语法： : : 静态模式规则”就可以写完一堆 规则，实在是太有效率了。“静态模式规则”的用法很灵活，如果用得好，那会是一个很强大的功能。再 看一个例子： files = foo.elc bar.o lose.o $(filter %.o,$(files)):

locations "地址"组件构成的内存。 变量本质上是地址的名称，每个变量和地址都有特定 的 type "类型"，变量的类型被称为 static type "静态类型"， 地址的类型被称为 dynamic type "动态类型"。如果静态类型与动态类 型不相同，它就是动态类型的⽗类或⼦类。 identi�er "标识符"是变量、类型、过程等的名称声明符号，⼀个声明所适⽤的程序区域被称为该声明的 analysis "语义分析"对AST进⾏转换，增加了语义信息，如表达式类型、标识符的含义，以及在某些情况下表达 式的值。在语义分析中检测到的错误被称为 static error "静态错误"，当前⼿册中描述的错误在没有其他约定时，就是静态错误。 panic "恐慌"是在运⾏时执⾏检测和报告的错误。这种错误的报告，通过 引发异常 或 以致命错误 结束的⽅式。 也提供了⼀种⽅法 来禁⽤这些 runtime checks 结构可以通过缩进来识别，缩进只包括空 格，不允许使⽤制表符。 处理缩进的实现⽅式如下，词法分析器⽤前导空格数来解释随后的 Token，缩进不是独⽴的 Token，这个技巧使得 Nim 解析时只 需要预先检查 1 个 Token。 语法分析器使⽤⼀个缩进级别的堆栈：该堆栈由计算空格的整数组成，语法分析器在对应的策略位置查询缩进信息，⽽忽略其他 位置。 伪终结符 IND{>} 表示缩进相⽐堆栈顶部的条⽬包含更多的空格，

ipvlan 配置示例 11.2.3.4. MACVLAN 额外网络的配置 11.2.3.4.1. macvlan 配置示例 11.2.4. 为额外网络配置 IP 地址分配 11.2.4.1. 静态 IP 地址分配配置 11.2.4.2. 动态 IP 地址(DHCP)分配配置 11.2.4.3. 使用 Whereabouts 进行动态 IP 地址分配配置 11.2.5. 使用 Cluster 配置故障排除 12.4.4. 后续步骤 12.5. 配置 SR-IOV 以太网网络附加 12.5.1. 以太网设备配置对象 12.5.1.1. 为额外网络配置 IP 地址分配 12.5.1.1.1. 静态 IP 地址分配配置 12.5.1.1.2. 动态 IP 地址(DHCP)分配配置 12.5.1.1.3. 使用 Whereabouts 进行动态 IP 地址分配配置 12.5.2. 配置 SR-IOV 12.6. 配置 SR-IOV INFINIBAND 网络附加 12.6.1. Infiniband 设备配置对象 12.6.1.1. 为额外网络配置 IP 地址分配 12.6.1.1.1. 静态 IP 地址分配配置 12.6.1.1.2. 动态 IP 地址(DHCP)分配配置 12.6.1.1.3. 使用 Whereabouts 进行动态 IP 地址分配配置 12.6.2. 配置 SR-IOV

handlers -- 服务器/网关基类 . . . . . . . . . . . . . . . . . . . . . . . . . 1286 21.2.6 wsgiref.types -- 用于静态类型检查的 WSGI 类型 . . . . . . . . . . . . . . . . . . 1289 21.2.7 例子 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1708 27.5 Python 性能分析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1714 27.5.1 性能分析器简介 . . . . . . . . . . . . . . . . . . . . . . . 解释器栈 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1855 29.14.6 静态地获取属性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1857 29.14.7 生成器、协程和异步生成器的当前状态

handlers -- 服务器/网关基类 . . . . . . . . . . . . . . . . . . . . . . . . . 1282 21.2.6 wsgiref.types -- 用于静态类型检查的 WSGI 类型 . . . . . . . . . . . . . . . . . . 1285 21.2.7 例子 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1704 27.5 Python 性能分析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1710 27.5.1 性能分析器简介 . . . . . . . . . . . . . . . . . . . . . . . 解释器栈 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1851 29.14.6 静态地获取属性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1853 29.14.7 生成器、协程和异步生成器的当前状态

handlers -- 服务器/网关基类 . . . . . . . . . . . . . . . . . . . . . . . . . 1250 21.2.6 wsgiref.types -- 用于静态类型检查的 WSGI 类型 . . . . . . . . . . . . . . . . . . 1253 21.2.7 例子 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1680 27.5 Python 性能分析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1685 27.5.1 性能分析器简介 . . . . . . . . . . . . . . . . . . . . . . . 解释器栈 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1825 29.14.6 静态地获取属性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1827 29.14.7 生成器、协程和异步生成器的当前状态