华为云官方博客 ·

解读代码检查规则语言CodeNavi的表达式节点和属性

💡 原文中文，约10700字，阅读约需26分钟。

📝

内容提要

本文介绍了CodeNavi检查规则语言如何描述代码中的表达式。主要包括对象创建表达式、强制类型转换、类型判断表达式、一元表达式、二元表达式、条件表达式、方法引用表达式、lambda表达式和匿名内部类表达式。CodeNavi是一种适合编写静态分析规则的语言，可以满足用户对代码检查的各种需求。

🔎

文章指出程序分析的最小单位是token，包括关键字、标识符、字面量、运算符和分隔符。CodeNavi通过定义节点和属性来描述这些token组成的表达式，使规则编写者能聚焦于检查逻辑而非工具实现。这种设计降低了静态分析规则的门槛，让用户能快速调整约束条件，应对误报和漏报。

CodeNavi定义了九类表达式节点，涵盖对象创建、强制类型转换、类型判断、一元/二元运算、条件表达式、方法引用、lambda和匿名内部类。这些节点对应Java中常见的代码结构，意味着规则可以精确匹配如类型转换风险、lambda使用规范等场景，为编写细粒度检查规则提供了基础。

文章强调，只需给不同节点定义，再通过条件语句描述要求，就能完成检查规则的定义。例如，针对强制类型转换，可以约束目标类型或源类型；针对lambda表达式，可以检查参数数量或体内容。这种基于节点和属性的描述方式，使规则更直观，便于用户根据业务需求灵活调整。

CodeNavi提供了VSCode插件，用户可在插件市场搜索codenavi安装。这为规则编写和调试提供了便利环境。结合文章对表达式节点的详细图例和代码样例，开发者可以快速上手，将静态分析规则落地到实际项目中，提升代码检查的效率和准确性。

❓

CodeNavi是一种适合编写静态分析规则的语言，旨在满足用户对代码检查的需求。

CodeNavi支持对象创建表达式、强制类型转换、类型判断表达式、一元表达式、二元表达式、条件表达式、方法引用表达式、lambda表达式和匿名内部类表达式。

一元表达式包含单个操作数，执行单一操作，例如递增或逻辑非。

条件表达式的格式为：result = condition ? value_if_true : value_if_false，根据条件的真假返回不同的值。

Lambda表达式是一种匿名函数表达式，允许将行为作为参数传递给方法，简化代码。

Token是源代码中的最小语法单位，分为关键字、标识符、字面量、运算符和分隔符等。