静的コード解析
Checkmarx CxSuite (商用)
Fortify SCA (商用)