静的コード解析
static code analysis
static program analysis
動的プログラム解析 （dynamic program analysis）
シェープ解析（Shape analysis）
プログラム意味論（Program Semantics）
形式的検証
ソフトウェアテスト（software test）
ドキュメンテーションジェネレータ (documentation generator)
https://ja.wikipedia.org/wiki/静的コード解析