• 2024-08-29解读代码检查规则语言CodeNavi的表达式节点和属性
    本文分享自华为云社区《CodeNavi中代码表达式的节点和节点属性》,作者:Uncle_Tom。1.前期回顾《寻找适合编写静态分析规则的语言》根据代码检查中的一些痛点,提出了希望寻找一种适合编写静态分析规则的语言。可以满足用户对代码检查不断增加的各种需求;使用户能够通过增加或减少对检
  • 2024-07-08编写代码检查规则的神器,解读CodeNavi语法结构
    本文分享自华为云社区《CodeNavi规则的语法结构》,作者:Uncle_Tom。1.代码和检查规则1.1.代码的构成程序是由空格分隔的字符串组成的序列。在程序分析中,这一个个的字符串被称为"token",是源代码中的最小语法单位,是构成编程语言语法的基本元素。Token可以分为多种类型,常见的有