flawed-code-scanner v0.0.1

Code Scanner

扫描可能会导致错误的代码，基于 Babel 和 TypeScript

为什么不是 ESlint 插件？

ESlint 通常直接嵌入到项目中，在项目进行的过程中 ESlint 报错可能会阻塞项目的流程，比如合并代码前在 CI 中运行 ESlint 来检查代码是否有明显错误。 然而有些代码虽然看起来符合 ESlint 所配置的规则，却仍然有可能会导致不可预知的问题。但是这些代码只是有出现问题的风险，不一定会导致 bug。

使用

1. 安装

   npm install -g flawed-code-scanner

2. 在项目中初始化

    # 运行以下命令后项目根目录会新增一个 `scanner.config.json` 文件，这个文件是 flawed-code-scanner 的配置文件。当然你也可以选择手动新建一个 json 文件来配置。
   cd project
   npx scanner init

3. 运行

   # npx scanner [glob path you want to scan] -c <path to tour config file>
   # 默认情况下读取 `${process.cwd()/scanner.config.json} 作为配置文件`
   npx scanner # 扫描并将结果打印到控制台
   npx scanner -n # 扫描且不打印结果
   npx scanner -m # 扫描并将结果输出为 markdown, 默认输出路径为 `${process.cwd()}/.scanner/`

4. 更多命令相关

   npx scanner --help

配置文件

{
  "includes": "pattern | pattern[]", // 想要扫描的文件目录，glob 模式
  "excludes": "pattern | pattern[]",
  "scanPlugins": [// 扫描插件 配置
    {
      "plugin": "needTryCatch", // 插件名称
      "options": {
        "reactImportPath": "import path of react",  // react 引入路径 默认是 "react"
      },
    },
    {
      "plugin": "needHandlerInCatch"
    },
    {
      "plugin": "dangerousAndOperator"
    },
    {
      "plugin": "dangerousInitState",
      "options": {
        "reactImportPath": "import path of react",  // react 引入路径
      },
    },
    {
      "plugin": "dangerousDefaultValue"
    }
  ],
  /**
   * babel parser 的插件配置，默认情况下，会根据文件后缀名自动使用对应插件
   * 比如针对 .tsx 文件，将自动启用 typescript 和 jsx 插件
   */
  "babelParsePlugins": ["decorators-legacy"],
  "fileEncoding": "utf-8" // 文件编码格式。默认是 utf-8
}

插件

needTryCatch

在使用 JSON.parse 时，如果字符串参数不符合 json 格式，那么会直接抛出异常。React 项目中，生命周期函数内部抛出这样的异常可能会导致白屏。 当被解析的字符串的来源不确定时，应当使用 try...catch... 包裹 JSON.parse

Case

• 错误示例 1 🚫

  function foo(jsonStr) {
    JSON.parse(jsonStr);
  }
  
  foo();

• 错误示例 2 🚫

  function foo(jsonStr) {
    JSON.parse(jsonStr);
  }
  
  try {
    foo();
  } catch (err) {
    console.error(err);
  }

• 正确示例 ✅

  function foo(jsonStr) {
    try {
      JSON.parse(jsonStr);
    } catch (err) {
      console.error(err);
    }
  }
  
  foo();

needHandlerInCatch

在异常捕获代码块中，必须要有处理异常情况的代码，原因是：

1. 如果没有处理异常情况，那么当程序产生异常时，可能有不可预知的 bug；
2. 在生产环境中，通常没有 sourceMap，如果既没有处理异常也没有在控制台中打印，当程序产生 bug 时，难以定位问题所在；

Case

1. try...catch...

   try {
      // some dangerous code
   } catch () {
      // Some code handling is required
   }

2. promise.catch()

   Promise.reject().catch((e) => {
     // Some code handling is required
   });

3. componentDidCatch lifeSycle of React

   class App extends React.Component {
     componentDidCatch(error, errorInfo) {
       // Some code handling is required
     }
   }

dangerousAndOperator

在某些情况下，使用 && 语句作为值是一个危险操作

PS: 绝大部份情况下，如果代码有完整的 TS 类型定义，是不会有问题的

Case

1. setState 更新状态

   const res = await Api.getXXX();
   this.setState({
     dataSource: res.data && res.data.data,
   });
   /**
    * 如果 dataSource 是一个数组类型，而res.data的值可能为 null，那么就有出现bug的风险，
    * 正确的做法是在给 dataSource 赋值的时候就处理掉数据不存在的情况，而不是在使用 dataSource 的地方去处理
    * 对象字面量，数组字面量，变量赋值，函数 return 等场景下同理
    */

2. JSX 中使用 .length && XXX

   render () {
       const { data } = this.state
       return (
           data?.length && (
               <div>...</div>
           )
       )
   }
   /**
    * 当data是一个空数组时，页面上这里会显示成 0
    */

dangerousInitState

在开发 React 组件的过程中，有的时候会在组件外面就定义好 state 的初始值, 但是在某些情况下，这可能会导致组件的初始值不是你所期望的

Case

1. 在 initialState 中用到了location.href、location.search 等

   const initialState = {
     href: location.href,
   };
   class App extends React.Component {
     state = initialState;
   }

2. 在 initialState 的初始化表达式中包含函数执行结果

   const initialState = {
     href: foo(),
   };
   class App extends React.Component {
     state = initialState;
   }

上面的例子中，initialState 的值在组件所在的模块被加载的时候就被赋值了，而不是在组件挂载的时候赋值。那么上例中的组件挂载时，有可能出现初始值不符合期望的情况

dangerousDefaultValue

解构赋值时，如果对象中的被解构属性为 null，那么设置的默认值不会生效

const obj = {
  a: null,
  b: undefined,
};
const { a = {}, b = {}, c = {} } = obj;
// a 的值为 null
// b 的值为 {}
// c 的值为 {}

此时去访问 a 的属性时就会抛出异常 Uncaught TypeError: Cannot read properties of null (reading 'xx') 所以当解构赋值设置的默认值为一个对象或者数组时，应当警惕值是否可能为 null