é™çš„ã‚³ãƒ¼ãƒ‰è§£æž - Wikipediaé™çš„ã‚³ãƒ¼ãƒ‰è§£æž (ã›ã„ã¦ãコードã‹ã„ã›ãã€static code analysis) ã¾ãŸã¯é™çš„プãƒã‚°ãƒ©ãƒ è§£æž (static program analysis) ã¨ã¯ã€ã‚³ãƒ³ãƒ”ュータã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®è§£æžæ‰‹æ³•ã®ä¸€ç¨®ã§ã‚ã‚Šã€å®Ÿè¡Œãƒ•ã‚¡ã‚¤ãƒ«ã‚’実行ã™ã‚‹ã“ã¨ãªã解æžã‚’è¡Œã†ã“ã¨ã€‚逆ã«ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’実行ã—ã¦è¡Œã†è§£æžã‚’動的プãƒã‚°ãƒ©ãƒ 解æžã¨å‘¼ã¶[1]。é™çš„コード解æžã¯ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã«å¯¾ã—ã¦è¡Œã‚れるã“ã¨ãŒå¤šã„ãŒã€å°‘æ•°ãªãŒã‚‰ã‚ªãƒ–ジェクトコードã«å¯¾ã—ã¦è¡Œã†å ´åˆã‚‚ã‚る。ã¾ãŸã€ã“ã®ç”¨èªžã¯ä»¥ä¸‹ã«åˆ—挙ã™ã‚‹ãƒ„ールを使用ã—ãŸè§£æžã‚’æ„味ã™ã‚‹ã“ã¨ãŒå¤šã„。人間ãŒè¡Œã†ä½œæ¥ã¯ã‚¤ãƒ³ã‚¹ãƒšã‚¯ã‚·ãƒ§ãƒ³ã€ã‚³ãƒ¼ãƒ‰ãƒ¬ãƒ“ューãªã©ã¨å‘¼ã¶ã€‚日本語ã§ã¯é™çš„コード分æžã¨ã‚‚訳ã•ã‚Œã‚‹[2]。 ツールãŒè¡Œã†é™çš„コード解æžã®æ´—練度ã¯ã€å€‹ã€…ã®æ–‡ã‚„宣言ã ã‘を検証ã™ã‚‹ã‚‚ã®ã‹ã‚‰ã€ãƒ—ãƒã‚°ãƒ©ãƒ 全体を解æžã™ã‚‹ã‚‚ã®ã¾ã§æ§˜ã€…ã§ã‚る。解æžçµæžœã®åˆ©ç”¨ã‚‚様々ã§ã€Lintã®ã‚ˆã†ã«å˜ã«æŒ‡æ‘˜ã™ã‚‹ã ã‘ã®
{{#tags}}- {{label}}
{{/tags}}