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市场的审核 成功静态分析应用 代码评审中的静态分析 针对该提交 代码片段自

大规模异构图召回在美团到店推荐广告的应用 102 美团搜索粗排优化的探索与实践 116 美团外卖推荐情境化智能流量分发的实践与探索 129 大众点评搜索相关性技术探索与实践 152 美团 SemEval2022 结构化情感分析跨语言赛道冠军方法总结 174 检索式对话系统在美团客服场景的探索与实践 188 端智能在大众点评搜索重排序的应用实践 216 对话摘要技术在美团的探索（SIGIR） 238 异构广告混排在美团到店业务的探索与实践 971 标准化思想及组装式架构在后端 BFF 中的实践 992 外卖广告大规模深度学习模型工程实践 | 美团外卖广告工程实践专题连载 1013 数据库全量 SQL 分析与审计系统性能优化之旅 1048 数据库异常智能分析与诊断 1059 美团外卖广告智能算力的探索与实践（二） 1079 Linux 下跨语言调用 C++ 实践 1101 GPU 在外卖场景精排模型预估中的应用实践 2022年美团技术年货 运维 / 安全 1277 数字化新业态下数据安全创新——Token 化 1277 Linux 中基于 eBPF 的恶意利用与检测机制 1293 如何应对开源组件风险？软件成分安全分析（SCA）能力的建设与演进 1328 算法 < 1 YOLOv6：又快又准的目标检测框架开源啦 作者：楚怡 凯衡 等 1. 概述 YOLOv6 是美团视觉智能部研发的一款目标检测框架，致力于工业应用。本框架

务。 • 区块链数据治理组件解决方案：稳定、高效、安全的区块链数据治理组件解决方案，分别从底层 数据存储层、智能合约数据解析层和应用层三个方面，提供了区块链数据挖掘、裁剪、扩容、可 信存储、抽取、分析、审计、对账、监管等数据治理方面的关键能力。 • 区块链多方协作治理组件解决方案：可无缝适配FISCO BCOS的区块链治理组件解决方案。首批开 源的四个组件分别从私钥丢失重置、合约权限细粒度管控、私钥和证书的全生命周期管控等方面 开发第一个区块链应用 标签：开发第一个应用 合约开发 区块链应用 教程 重要: 相关软件和环境版本说明！请查看 本章将会介绍一个基于FISCO BCOS区块链的业务应用场景开发全过程，从业务场景分析，到合约的 设计实现，然后介绍合约编译以及如何部署到区块链，最后介绍一个应用模块的实现，通过我们提供 的Java SDK实现对区块链上合约的调用访问。 本教程要求用户熟悉Linux操作环境，具备J 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 匿名参与的链；私有链指一个主体（如一个机构或一个自然人）所有，私有化的管理和使用的链；联盟 链通常是指

务。 • 区块链数据治理组件解决方案：稳定、高效、安全的区块链数据治理组件解决方案，分别从底层 数据存储层、智能合约数据解析层和应用层三个方面，提供了区块链数据挖掘、裁剪、扩容、可 信存储、抽取、分析、审计、对账、监管等数据治理方面的关键能力。 • 区块链多方协作治理组件解决方案：可无缝适配FISCO BCOS的区块链治理组件解决方案。首批开 源的四个组件分别从私钥丢失重置、合约权限细粒度管控、私钥和证书的全生命周期管控等方面 开发第一个区块链应用 标签：开发第一个应用 合约开发 区块链应用 教程 重要: 相关软件和环境版本说明！请查看 本章将会介绍一个基于FISCO BCOS区块链的业务应用场景开发全过程，从业务场景分析，到合约的 设计实现，然后介绍合约编译以及如何部署到区块链，最后介绍一个应用模块的实现，通过我们提供 的Java SDK实现对区块链上合约的调用访问。 本教程要求用户熟悉Linux操作环境，具备J 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 匿名参与的链；私有链指一个主体（如一个机构或一个自然人）所有，私有化的管理和使用的链；联盟 链通常是指

务。 • 区块链数据治理组件解决方案：稳定、高效、安全的区块链数据治理组件解决方案，分别从底层 数据存储层、智能合约数据解析层和应用层三个方面，提供了区块链数据挖掘、裁剪、扩容、可 信存储、抽取、分析、审计、对账、监管等数据治理方面的关键能力。 • 区块链多方协作治理组件解决方案：可无缝适配FISCO BCOS的区块链治理组件解决方案。首批开 源的四个组件分别从私钥丢失重置、合约权限细粒度管控、私钥和证书的全生命周期管控等方面 开发第一个区块链应用 标签：开发第一个应用 合约开发 区块链应用 教程 重要: 相关软件和环境版本说明！请查看 本章将会介绍一个基于FISCO BCOS区块链的业务应用场景开发全过程，从业务场景分析，到合约的 设计实现，然后介绍合约编译以及如何部署到区块链，最后介绍一个应用模块的实现，通过我们提供 的Java SDK实现对区块链上合约的调用访问。 本教程要求用户熟悉Linux操作环境，具备J 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 匿名参与的链；私有链指一个主体（如一个机构或一个自然人）所有，私有化的管理和使用的链；联盟 链通常是指

readthedocs.io/zh_CN/latest/]：稳 定、高效、安全的区块链数据治理组件解决方案，分别从底层数据存储 层、智能合约数据解析层和应用层三个方面，提供了区块链数据挖掘、 裁剪、扩容、可信存储、抽取、分析、审计、对账、监管等数据治理方 面的关键能力。 区块链多方协作治理组件解决方案 [https://governance- doc.readthedocs.io/zh_CN/latest/]：可无缝适配FISCO documentation.readthedocs.io/zh_CN/latest/docs/compatibility.html] 本章将会介绍一个基于FISCO BCOS区块链的业务应用场景开发全过程，从 业务场景分析，到合约的设计实现，然后介绍合约编译以及如何部署到区块 链，最后介绍一个应用模块的实现，通过我们提供的Java SDK实现对区块链 上合约的调用访问。 本教程要求用户熟悉Linux操作环境，具备Java开发的基本技能，能够使用 个合约在全网部署， 在被调用时在每个节点上都会执行，如果这个合约是个无限循环，就意味着 可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完 备计算体系的一个重要关注点。 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人 都可以随时随地参与甚至是匿名参与的链；私有链指一个主体（如一个机构 或一个自然人）所有，私有化的管理和使用的链；联盟链通常是指多个主体

readthedocs.io/zh_CN/latest/]：稳 定、高效、安全的区块链数据治理组件解决方案，分别从底层数据存储 层、智能合约数据解析层和应用层三个方面，提供了区块链数据挖掘、 裁剪、扩容、可信存储、抽取、分析、审计、对账、监管等数据治理方 面的关键能力。 区块链多方协作治理组件解决方案 [https://governance- doc.readthedocs.io/zh_CN/latest/]：可无缝适配FISCO documentation.readthedocs.io/zh_CN/latest/docs/compatibility.html] 本章将会介绍一个基于FISCO BCOS区块链的业务应用场景开发全过程，从 业务场景分析，到合约的设计实现，然后介绍合约编译以及如何部署到区块 链，最后介绍一个应用模块的实现，通过我们提供的Java SDK实现对区块链 上合约的调用访问。 本教程要求用户熟悉Linux操作环境，具备Java开发的基本技能，能够使用 个合约在全网部署， 在被调用时在每个节点上都会执行，如果这个合约是个无限循环，就意味着 可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完 备计算体系的一个重要关注点。 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人 都可以随时随地参与甚至是匿名参与的链；私有链指一个主体（如一个机构 或一个自然人）所有，私有化的管理和使用的链；联盟链通常是指多个主体