杨文博-LLM+时代，从代码安全分析走向代码安全治理.pdfVIP

从代码安全分析 走向 代码安全治理 蜚语科技 / 杨文博 0 关 于 我 们 1 02 目录 代 码 分 析 与 应 用 现 代 化 0 从 代 码 安 全 分 析 走 向代 码 安 全 治 理 3 0 大 语 言 模 型 与 代 码 安 全 治 理 4 01 关于我们 杨文博 • 蜚语科技创始人CTO • 博士毕业于上海交通大学计算机系 • 多年软件安全 、漏洞攻防、程序分析研究经验 • 0ops前CTF选手 • 多篇顶会论文 • 多个授权发明专利 • 多次行业会议技术分享 • 上海市科技进步一等奖 • 参与多项国家科研 、产业技术项 目 代码分析 02 与 应用现代化 帮助程序员自动的分析代码 ， 寻找代码中的潜在问题(Bug与漏洞) 全球每年产生~93,000,000,000行代码 每千行代码(KLOC) ，包含10-20个严重 BUG ，7-12个安全漏洞 平均修复一个严重BUG/漏洞的时间是 0.75天/205天 帮助程序员自动的分析代码 ， 寻找代码中的潜在问题(Bug与漏洞) 以及 ，做一些更多的事 节省时间投入 ，提升研发效率 代码分析技术与工具 - 代码风格  include文件的命名与顺序 include文件必须遵循以下的顺 序 ：相关头文件 、C系统头文件 、 C++基础库头文件 、其他库头文 件 、本项 目头文件  函数声明与定义 返回值的类型必须与函数名在同一行 参数尽量与函数名在同一行 函数名称与开括号之间永远没有空格 。 如果可能 ，所有参数都应对齐 。 默认缩进为2个空格 。  每一行代码长度 每一行代码不能超过80个字符  只使用space而不使用tab  使用一致的注释风格  等等 代码分析技术与工具 - 代码风格 技术特点 • 相关结果主要影响代码的可维护性 、一致性 • 相关代码结构较为简单 ，一般不涉及上下文 • 定制化程度较高 ，不同团队的需求不尽相同 • 对代码分析能力要求不高 • 核心技术为模式匹配 工具化 • 以开源工具为主 ，比如sonarqube 、cpplint等 • 研发团队基于开源工具进行定制 • 准确性较高 ，适合作为卡点 代码分析技术与工具- 代码质量/功能安全  misra-c2012-R.15.5 函数最后应该有一个退出点  misra-c2012-R.22.1 所有通过标准库函数动态获取的资源 都应显式释放  GJB8114-2013-R-1-3-1 禁止指针的指针超过两级  GJB8114-2013-R-1-6-8 数组禁止越界