静的コード解析 - Wikipedia
ja.wikipedia.org