Conf 2021 – 2022, Online, China 姜剑峰 Rust API可靠性分析与验证 Rust China Conf 2021 – 2022, Online, China 主题内容 • Rust第三方库API可靠性现状 • 现用方法的局限性 • 基于程序合成+模糊测试的可靠性分析方法 Rust China Conf 2021 – 2022, Online, China 本（2019）硕（2022）毕业于复旦大学 • 目前在蚂蚁集团安全计算部门开发应用于机密计算的Rust系统软件 • 研究生期间主要从事Rust测试与验证工具的研究，本人所在的是国内最早 开展Rust程序分析相关研究的实验室（https://artisan-lab.github.io） • 我们关于Rust库模糊测试的论文 RULF: Rust Library Fuzzing via API Dependency China Conf 2021 – 2022, Online, China 现有的可靠性分析方法及其局限性 模糊测试(afl.rs, libfuzzer)：分支覆盖率；用例程序的构造 符号执行(klee, angr)：路径爆炸；求解困难 静态分析(MirChecker, Rudra, SafeDrop)：分析特定问题；假阳性 形式化验证(RustBelt)：无法方便的验证第三方库 其他工具（Miri等）…

基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 报告日期：2022.11.25 复旦大学 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 Rust语言 ❑ 系统级安全编程语言 ▪ 内存安全 ▪ 并发安全 ▪ 效率 2006年 2011年 手动释放内存或调用析构函数 ▪ 函数返回时发生的自动析构或内存释放 ❑ Rust设计的目标之一是编译时检查指针别名（共享可变引用） ▪ 但一般意义上的指针分析是NP-hard问题 ▪ 智能指针可行，但作为运行时方案，效率低 ▪ Rust在语法设计中引入所有权机制，简化指针分析问题 Rust所有权模型 => XOR Mutability ❑ 一个对象有且只有一个所有者 ❑ 所有权可以转移给其它变量 ▪ 用完不用还 Memory Reclaim问题：示例1 创建一个临时字符串s 通过unsafe将v指向临时内存 返回v 自动析构s，造成悬空指针v 访问v造成use-after-free 从Rust MIR分析Auto Memory Reclaim问题 _1 = const > ::from(const "a

Python分析alpha vaults策略 主讲人： 代少飞 – 量化开发 个人简介 主要从事量化开发相关工作 有开发过数字货币交易所 PyconChina2019深圳场有分享(b站有相关视频) 目前从事web3相关工作 免责声明 纯技术交流，不提供任何投资建议 如有侵权，请联系本人，第一时间处理 一、策略介绍 二、部署开发 三、使用说明 四、策略回测 大纲 策略介绍

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

Division(Multiply(Add(Value(1), Value(5)), Value(7)), Value(2)) 计算最终结果：21 语法分析 对输⼊⽂本进⾏分析并确定其语法结构 通常包含词法分析和语法分析 本节课均利⽤语法解析器组合⼦（parser combinator）为例 2 词法分析 将输⼊分割为单词 输⼊：字符串/字节块 输出：单词流 例如： "12 +678" -> [ Value(12) Value(12), Plus, Value(678) ] 通常可以通过有限状态⾃动机完成 ⼀般⽤领域特定语⾔定义后，由软件⾃动⽣成程序 算术表达式的词法定义 1. Number = %x30 / (%x31-39) *(%x30-39) 2. LParen = "(" 3. RParen = ")" 4. Plus = "+" 5. Minus = "-" "-" 6. Multiply = "*" 7. Divide = "/" 8. Whitespace = " " 3 词法分析 算术表达式的词法定义 1. Number = %x30 / (%x31-39) *(%x30-39) 2. Plus = "+" 每⼀⾏对应⼀个匹配规则 "xxx" ：匹配内容为xxx的字符串 a b ：匹配规则a，成功后匹配规则b a / b

Nim的实验性功能在这⾥ (manual_experimental.html)。 注意: 赋值、移动和析构在⽂档特定的析构 (destructors.html)部分。 当前⼿册对 Nim 语⾔的词法、语法和语义做了描述。 打算学习怎样编译 Nim 程序和⽣成⽂档，请阅读⽤户编译指南 (nimc.html)和⽂档⽣成⼯具指南 (docgen.html)。 Nim语⾔使⽤"扩展BNF"来解释结构， syntax tree (AST) "抽象语法树"的内部数据结构，在执⾏代码或将其编译为可执⾏⽂件之 前，通过 semantic analysis "语义分析"对AST进⾏转换，增加了语义信息，如表达式类型、标识符的含义，以及在某些情况下表达 式的值。在语义分析中检测到的错误被称为 static error "静态错误"，当前⼿册中描述的错误在没有其他约定时，就是静态错误。 panic "恐慌"是在运⾏ "常量表达式"，在对包含它的代码进⾏语义分析时，其值就可以被计算出来，并且不局限于语义分析时求值的 能⼒，例如常量折叠。它从来不会是左值，也不会有副作⽤。它可以使⽤编译期⽀持执⾏的所有 Nim 语⾔特性。由于常量表达式 可以作为语义分析时的输⼊，⽐如定义数组边界，鉴于这种灵活性要求，编译器交错进⾏语义分析和编译期代码执⾏。 想象⼀下，语义分析原本在源代码中从上到下、从左到右地进⾏，⽽在必要时，为了计算后续语义分析所需要的数值，交错执⾏

from’, give me a hand。 基于语义检测的WAF 输入是否有效代码 执行了什么动作 动作是否有危害 抽象攻击语义 基于语义检测的WAF—实现 用户输入 词法分析 语法分析 攻击语义检测 攻击语义抽象 基于语义检测的WAF—优缺点 运营成本低 高准确率 优点|缺点 应急 响应慢 语义抽象 依赖人 低漏报 开发成本很高 WAF运营手段 • WAF安全水位 • WAF瓶颈 • payload的变化 Part 3 如何构建未来的WAF 基于深度学习构建WAF 思路：用深度学习的模型代替语义检测中的词法分析、语法分析。 用户输入 深度学习的攻击 语义检测模型 在线检测 攻击语义的深 度学习网络 攻击语义的深度学习网络 "前缀闭合" "代码语句" "后缀闭合" 攻击语义 一般攻击语义

引发的异常类 . . . . . . . . . . . . . . . . . . . . . . . . . 1177 21.8 urllib.robotparser --- robots.txt 语法分析程序 . . . . . . . . . . . . . . . . . . . . . . 1178 21.9 http --- HTTP 模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1312 24.3 shlex ——简单的词法分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1314 24.3.1 shlex 对象 . . 1528 26.20 test.support.warnings_helper --- 用于警告测试的工具 . . . . . . . . . . . . . . . . 1530 27 调试和分析 1533 27.1 审计事件表 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

抽象语法树 （带语义信息） 静态单赋值 目标代码 语法解析，生成抽象语法树（Abstract Syntax Tree，AST），涉及的包： • go/token 词法单元定义 • go/scanner 词法扫描 • go/ast 抽象语法树定义 • go/parser 语法解析 Golang 编译流程简介 源代码 抽象语法树 抽象语法树 （带语义信息） 静态单赋值 BasicLit “Hello, GoCN” *ast.Ident “answer” Golang 编译流程简介 源代码 抽象语法树 抽象语法树 （带语义信息） 静态单赋值 目标代码 语义分析，涉及的包： • go/types 功能： • 类型检查和推导，如： v := "a" + 1 • 确定标识符的引用关系，如： var g = 42 func main() { g :=

. . . . . . . . . . . . . . . . . . . . . . . . . . 1261 21.8 urllib.robotparser --- robots.txt 语法分析程序 . . . . . . . . . . . . . . . . . . . . . . . . 1262 21.9 http --- HTTP 模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404 24.3 shlex ——简单的词法分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1407 24.3.1 shlex 对象 1633 26.20 test.support.warnings_helper --- 用于警告测试的工具 . . . . . . . . . . . . . . . . . . 1634 27 调试和分析 1637 27.1 审计事件表 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .