## 基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 复旦大学 报告日期：2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 手动释放内存或调用析构函数 函数返回时发生的自动析构或内存释放 ☐ Rust设计的目标之一是编译时检查指针别名（共享可变引用） 但一般意义上的指针分析是NP-hard问题 智能指针可行，但作为运行时方案，效率低 ■ Rust在语法设计中引入所有权机制，简化指针分析问题 ## Rust所有权模型 => XOR Mutability ☐ 一个对象有且只有一个所有者 ☐ 所有权可以转移给其它变量 访问v造成use-after-free 15 /*double free: v is released when the function returns*/ 16 } ## 从Rust MIR分析Auto Memory Reclaim问题 

## 面向亿行C/C++代码的 静态分析系统设计及实践 肖枭 ## 500+高端科技领导者与你一起探讨 技术、管理与商业那些事儿 2019年6月14–15日 上海圣诺亚皇冠假日酒店   2016年香港科技大学取得博士学位 过去10年一直以极高的热情从事静态分析技术的学术用研究 合作创办源伞科技，致力于推动静态分析技术在企业中的应用 ## 目录 代码质量管理是个大问题 静态分析+代码评审的实践 ## 生产质量是责任 ☐ 学习和强调，红线和惩罚，100%的测试 覆盖率，和事后复盘并不够 ☐ 有经验的程序员也会犯错 nts/d/f/4/2/df4204d40f8d9990146651d100a36efb/p6_1.jpg) ## 自动化工具+流程才是未来 ☐ 静态分析工具：半智能的代码分析机器人 ☐ 静态分析辅助代码评审 ## Bug! Thx! Bug! ## 代码质量改进工具、流程落地难 □ 投入大 ☐ KPI不痛不痒 使用主体和责任主体不一致 ☐ 一步登天想要终极AI ## No Thx

## DataEase ## 人人可用的开源数据可视化分析工具 2024 年 03 月  01 产品介绍 02 产品价值 03 模板市场 04 企业版介绍 05 嵌入式版介绍 FIT2CLOUD 飞致云 飞致云 DataEase 的使命 # 人人可用的 开源数据可视化分析工具 DataEase 可以帮助用户快速分析业务数据并洞察其趋势，为企业的业务改进与优化提供支持。 ## 他们都在用 DataEase 累计安装下载约 10 万次，50+ 技术支持群，广受各行各业用户的喜爱  ## 工作台  ## 可视化分析 · 资源概览  · 快速创建 ·

在平头哥 • 工具链产品 平头哥芯片平台发布的配套软件中， TVM 是工具链产品的重要组成部分： 负责将预训练好的 caffe 或者 tensorflow 的模型，转换到 LLVM IR，最后生成可以在无剑 SoC 平台上 执行的二进制。 平头哥集成开发环境 统一应用开发框架 一键 应用部署 Caffe TensorFlow TVM 图形化 算力分析 T-Head 联合调试 ## 为何添加 caffe 前端？ ## 客户需求 评估阶段：客户用于评估芯片的网络，caffe 模型占很大比重。 ## - 竞品已支持 caffe 前端 当前各大芯片厂商的部署工具大多数都支持，支持 caffe 前端有利于提高竞争力。 ## - 开源社区 存量的开源 caffe 网络模型众多，TVM 直接支持 caffe 让大家更方便尝试 caffe 资源。 ## 绝赞招聘中 flatten / normalize / crop / proposal / roipooling / permute / priorbox ## 未来 ## 命令行工具 将 caffe 模型转换的功能，通过一组命令行工具提供，命令行工具支持 windows / linux 平台。 ## - 支持更多 caffe op / net 随着客户需求和社区发展，提供更多的 caffe 分支变种的 op

## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: 要目标。 在计算机科学中，形式化方法（Formal method）是一种数学方法。旨在能像其它工程学科一样，通过用数学进行分析，来提高设计的可靠性（reliability）和健壮性（robustness）。 类型系统就是一种轻量级的形式化方法，它通常被植入编译器或程序分析器中进行自动校验。从而让那些不熟悉底层理论的程序员也可以使用它们。 这类轻量级技术中还包括模型检测（Model checking），运行时验证（Runtime 甚至Haskell程序员们能够在HGoogle中通过函数的类型签名来寻找函数。 程序效率：动态类型不利于编译优化 ## 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 类型系统的分类——声明式类型系统与结构化类型系统 声明类型系统通过名字来检查类型

OpenShift Container Platform 4.10 ## CLI 工具 如何使用 OpenShift Container Platform 的命令行工具 Powered by TCPDF (www.tcpdf.org) 如何使用 OpenShift Container Platform 的命令行工具 ## 法律通告 Copyright $ ^{©} $ 2023 Red Hat 本文档提供有关安装、配置和使用 OpenShift Container Platform 命令行工具的信息。它还包含 CLI 命令的参考信息，以及如何使用它们的示例。 ## 目录 第1章 OPENSHIFT CONTAINER PLATFORM CLI 工具概述 ..... 3 1.1. CLI 工具列表 ..... 3 第2章 OPENSHIFT CLI (OC) ..... 4 2 CONTAINER PLATFORM CLI 工具概述 用户在操作 OpenShift Container Platform 时执行一系列操作，例如： 管理集群 ● 构建、部署和管理应用程序 管理部署过程 ● 开发 Operator ● 创建和维护 Operator 目录 OpenShift Container Platform 提供了一组命令行界面 (CLI) 工具，通过允许用户从终端执行各种管理

OpenShift Container Platform 4.8 ## CLI 工具 如何使用 OpenShift Container Platform 的命令行工具 Powered by TCPDF (www.tcpdf.org) 如何使用 OpenShift Container Platform 的命令行工具 ## 法律通告 Copyright $ ^{©} $ 2023 Red Hat 本文档提供有关安装、配置和使用 OpenShift Container Platform 命令行工具的信息。它还包含 CLI 命令的参考信息，以及如何使用它们的示例。 ## 目录 第1章 OPENSHIFT CONTAINER PLATFORM CLI 工具概述 ..... 3 1.1. CLI 工具列表 ..... 3 第2章 OPENSHIFT CLI (OC) ..... 4 2 CONTAINER PLATFORM CLI 工具概述 用户在操作 OpenShift Container Platform 时执行一系列操作，例如： 管理集群 ● 构建、部署和管理应用程序 管理部署过程 ● 开发 Operator ● 创建和维护 Operator 目录 OpenShift Container Platform 提供了一组命令行界面 (CLI) 工具，通过允许用户从终端执行各种管理

OpenShift Container Platform 4.13 ## CLI 工具 如何使用 OpenShift Container Platform 的命令行工具 Powered by TCPDF (www.tcpdf.org) 如何使用 OpenShift Container Platform 的命令行工具 ## 法律通告 Copyright $ ^{©} $ 2024 Red Hat 本文档提供有关安装、配置和使用 OpenShift Container Platform 命令行工具的信息。它还包含 CLI 命令的参考信息，以及如何使用它们的示例。 ## 目录 第1章 OPENSHIFT CONTAINER PLATFORM CLI 工具概述 ..... 3 1.1. CLI 工具列表 ..... 3 第2章 OPENSHIFT CLI (OC) ..... 4 2 CONTAINER PLATFORM CLI 工具概述 用户在操作 OpenShift Container Platform 时执行一系列操作，例如： 管理集群 ● 构建、部署和管理应用程序 管理部署过程 ● 开发 Operator ● 创建和维护 Operator 目录 OpenShift Container Platform 提供了一组命令行界面 (CLI) 工具，通过允许用户从终端执行各种管理

#### Linux命令大全搜索工具 v1.8.0  当前仓库搜集了 570 多个 Linux 命令，内容包含 Linux 命令手册、详解、学习，内容来自网络和网友的补充，非常值得收藏的 Linux 命令速查手册. ![Image](/ A ab Apache服务器的性能测试工具 accept 指示打印系统接受发往指定目标打印机的打印任务 ack 比grep好用的文本搜索工具 alias 定义或显示别名 apachectl Apache服务器前端控制工具 apk Alpine Linux 下的包管理工具 apropos 在 whatis 数据库中查找字符串 apt-get Debian Linux发行版中的APT软件包管理工具 apt-key 管理Debian Linux系统中的软件包密钥 apt-sortpkgs Debian Linux下对软件包索引文件进行排序的工具 aptitude Debian Linux系统中软件包管理工具 ar 建立或修改备存文件，或是从备存文件中抽取文件 arch