开发者 sifa.sf.net

SIFA（安全信息流分析器）使用基于图形的方法，从信息安全角度对系统可能的漏洞进行推理，支持对系统的多个视图。SIFA 是一个实验原型。