示例#1
0
        public static bool ContainsSecurityWarning(FlowOutputSet outset, FlagType cause)
        {
            var warnings = AnalysisWarningHandler.ReadWarnings <AnalysisSecurityWarning>(outset);

            foreach (var value in warnings)
            {
                var infoValue = (InfoValue <AnalysisSecurityWarning>)value;
                if (infoValue.Data.Flag == cause)
                {
                    return(true);
                }
            }

            return(false);
        }
示例#2
0
 public static int NumWarnings(FlowOutputSet outset)
 {
     return(AnalysisWarningHandler.ReadWarnings <AnalysisWarning>(outset).Count());
 }