赖建新：关于静态代码分析的问与答

鉴释

于 2021-06-30 19:33:30 发布

阅读量269

点赞数

文章标签：编程语言代码规范

本文链接：https://blog.csdn.net/Xcalibyte/article/details/118367868

版权

本文介绍了静态代码分析的概念及其在软件开发中的重要性，探讨了面临的挑战，如大规模代码、多语言支持和性能要求。作者赖建新详细阐述了抽象语法树（AST）和中间表示（IR）的区别，并解释了为何在IR级别进行分析能提高准确性。此外，文章介绍了爱科识（Xcalscan）的独特优势，包括其流敏感、对象敏感和上下文敏感的分析引擎，以及用户自定义规则引擎。

摘要由CSDN通过智能技术生成

作者：赖建新有着丰富的编译器优化和高级程序静态分析的经验。在2006年获得清华大学计算机科学硕士学位之后，他加入了惠普的编译器团队，先后担任编译器开发工程师，编译器后端架构师和项目经理等职位，参与了开源编译器Open64，HP-UX产品编译器aCC和HP Non-Stop编译器项目，并于2018年加入鉴释。你现在的工作内容是什么？

我现在的工作是带领鉴释核心开发团队开发下一代的程序静态分析工具（SAST），这个分析引擎是鉴释静态分析工具工具产品的核心组件。分析引擎将用户输入的源代码转换为编译器中间表示；基于中间表示进行流敏感分析，过程间分析，上下文敏感分析和对象敏感分析；在各种分析的基础上结合符号执行和形式化验证等手段，检测用户输入程序是否存在各类缺陷或者安全漏洞，是否存在违反各类源代码安全编码规范或用户自定义规则的代码。

什么是静态代码分析？

静态代码分析是指在不实际执行程序的情况下，对代码语义和行为进行分析，由此找出程序中由于错误的编码导致异常的程序语义或未定义的行为。通俗的说，静态代码分析就是在代码编写的同时就能找出代码的编码错误。你不需要等待所有代码编写完毕，也不需要构建运行环境，编写测试用例。它能在软件开发流程早期就发现代码中的各种问题，从而提高开发效率和软件质量。