Sapidによるソフトウエア解析技法Ⅲ －ソースコードのリスク分析（1）