プログラム sifa.sf.net

SIFA (セキュア情報フローアナライザー) は、情報セキュリティの観点からシステムの脆弱性の可能性を推論するグラフベースのアプローチを使用して、システム上の複数のビューをサポートします。SIFAは実験的なプロトタイプです。