投票できなかったけど、staticにcodeをanalysisしてるんだから、広義に静的解析なんでは感＞＜
別に型検査器や形式検証の検査器に限った用語じゃないんだし＞＜