Tag: 静的解析 ソースコード
Splint - annotation-assisted static program checker
今回は、フリーの静的解析ツール Splintについて説明します。