public override AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) { return(new TaintedDataAnalysisData(this, (TaintedDataAnalysisData)data, coreDataAnalysisDomain)); }
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> other, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) { return(this.BaseCompareHelper(other, coreDataAnalysisDomain)); }
public override AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> data, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain) { Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData); var mergedData = new PointsToAnalysisData(this, (PointsToAnalysisData)data, coreDataAnalysisDomain); mergedData.AssertValidPointsToAnalysisData(); return(mergedData); }
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> other, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain) => BaseCompareHelper(other, coreDataAnalysisDomain);
public override AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> data, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain) => new ValueContentAnalysisData(this, (ValueContentAnalysisData)data, coreDataAnalysisDomain);
public override AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> data, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain) { Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData); return(new CopyAnalysisData(this, (CopyAnalysisData)data, coreDataAnalysisDomain)); }