编写代码检查规则的神器，解读CodeNavi语法结构
💡
原文中文，约5200字，阅读约需13分钟。
📝
内容提要
本文介绍了代码和检查规则的语法结构，包括代码的基本元素和检查规则的缺陷模式。还介绍了适合编写静态分析规则的语言和CodeNavi工具的语法结构。最后介绍了CodeNavi插件。
🎯
关键要点
-
程序由空格分隔的字符串组成，称为'token'，是源代码的最小语法单位。
-
Token类型包括关键字、标识符、字面量、运算符和分隔符。
-
词法分析器将源代码分解为token，语法分析器构建抽象语法树（AST）。
-
检查规则用于查找符合缺陷模式的代码节点。
-
静态分析工具的规则编写需要理解静态分析理论和工具框架，增加了开发难度。
-
希望找到更适合编写静态分析规则的语言，以便开发人员专注于检查问题本身。
-
CodeNavi工具的语法结构用于编写代码检查规则。
-
规则语句以分号结尾，节点为待检测代码节点，查询条件用于筛选节点。
-
逻辑连接词包括and、or和not，用于组合查询条件。
-
运算符分为通用运算符、算术运算符、字符串运算符、布尔运算符和节点运算符。
-
CodeNavi插件可在Vscode中安装，便于使用该工具进行静态分析。
❓
延伸问答
什么是token，它在代码中有什么作用？
Token是源代码的最小语法单位，程序由空格分隔的字符串组成，token用于构成编程语言的基本元素。
CodeNavi工具的语法结构是什么样的？
CodeNavi的语法结构包括规则语句以分号结尾，节点为待检测代码节点，查询条件用于筛选节点。
如何编写静态分析规则？
编写静态分析规则需要理解静态分析理论和工具框架，使用CodeNavi的语法结构来定义规则和条件。
CodeNavi插件如何安装？
在Vscode的插件中搜索'codenavi'并安装即可。
检查规则的逻辑连接词有哪些？
检查规则的逻辑连接词包括and、or和not，用于组合查询条件。
静态分析工具的规则编写有什么难点？
静态分析工具的规则编写难点在于开发人员需要理解静态分析理论和工具框架，增加了开发的复杂性。
➡️
