éçã³ã¼ã解æ (ããã¦ãã³ã¼ããããããstatic code analysis) ã¾ãã¯éçããã°ã©ã 解æ (static program analysis) ã¨ã¯ãã³ã³ãã¥ã¼ã¿ã®ã½ããã¦ã§ã¢ã®è§£æææ³ã®ä¸ç¨®ã§ãããå®è¡ãã¡ã¤ã«ãå®è¡ãããã¨ãªã解æãè¡ããã¨ãéã«ã½ããã¦ã§ã¢ãå®è¡ãã¦è¡ã解æãåçããã°ã©ã 解æã¨å¼ã¶[1]ãéçã³ã¼ã解æã¯ã½ã¼ã¹ã³ã¼ãã«å¯¾ãã¦è¡ããããã¨ãå¤ãããå°æ°ãªãããªãã¸ã§ã¯ãã³ã¼ãã«å¯¾ãã¦è¡ãå ´åããããã¾ãããã®ç¨èªã¯ä»¥ä¸ã«åæãããã¼ã«ã使ç¨ãã解æãæå³ãããã¨ãå¤ãã人éãè¡ãä½æ¥ã¯ã¤ã³ã¹ãã¯ã·ã§ã³ãã³ã¼ãã¬ãã¥ã¼ãªã©ã¨å¼ã¶ãæ¥æ¬èªã§ã¯éçã³ã¼ãåæã¨ã訳ããã[2]ã ãã¼ã«ãè¡ãéçã³ã¼ã解æã®æ´ç·´åº¦ã¯ãåã ã®æã宣è¨ã ããæ¤è¨¼ãããã®ãããããã°ã©ã å ¨ä½ã解æãããã®ã¾ã§æ§ã ã§ããã解æçµæã®å©ç¨ãæ§ã ã§ãLintã®ããã«åã«ææããã ãã®
{{#tags}}- {{label}}
{{/tags}}