VIGIL使用最大流最小割定理将安全决策转化为最小割成本计算，为参数边赋予容量2，为调用边赋予容量2n−1（n为参数个数），最大流返回值直接编码决策：0为允许，2k为重写，2n−1为拦截。