C# (CSharp) Weverca.AnalysisFramework.UnitTest.InfoLevelPhase TaintStatus Examples

Example #1

        public bool EqualTo(TaintStatus other, Analysis.FlagType flag)
        {
            if (this.tainted.get(flag) != other.tainted.get(flag))
            {
                return(false);
            }
            if (this.priority.get(flag) != other.priority.get(flag))
            {
                return(false);
            }
            if (!checkFlowEquality(other.lines))
            {
                return(false);
            }

            return(true);
        }

Example #2

        public bool EqualTo(TaintStatus other)
        {
            if (!this.tainted.equalTo(other.tainted))
            {
                return(false);
            }
            if (!this.priority.equalTo(other.priority))
            {
                return(false);
            }
            if (!checkFlowEquality(other.lines))
            {
                return(false);
            }

            return(true);
        }