静态类型的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{>} 表示缩进相⽐堆栈顶部的条⽬包含更多的空格，

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 生成器、协程和异步生成器的当前状态

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 生成器、协程和异步生成器的当前状态