public PredicatedAnalysisDataDomain(MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain) { CoreDataAnalysisDomain = coreDataAnalysisDomain; }
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> other, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain) => BaseCompareHelper(other, 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)); }
public override AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) { return(new TaintedDataAnalysisData(this, (TaintedDataAnalysisData)data, coreDataAnalysisDomain)); }
private CopyAnalysisData(CopyAnalysisData data1, CopyAnalysisData data2, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain) : base(data1, data2, coreDataAnalysisDomain) { AssertValidCopyAnalysisData(); }
public TaintedDataAnalysisData(TaintedDataAnalysisData fromData, TaintedDataAnalysisData data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) : base(fromData, data, coreDataAnalysisDomain) { }
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> other, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) { return(this.BaseCompareHelper(other, coreDataAnalysisDomain)); }
public TaintedDataAnalysisDomain(MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain) : base(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); }
private PointsToAnalysisData(PointsToAnalysisData data1, PointsToAnalysisData data2, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain) : base(data1, data2, coreDataAnalysisDomain) { data1.AssertValidPointsToAnalysisData(); data2.AssertValidPointsToAnalysisData(); AssertValidPointsToAnalysisData(); }
public override AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> data, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain) => new ValueContentAnalysisData(this, (ValueContentAnalysisData)data, coreDataAnalysisDomain);
private ValueContentAnalysisData(ValueContentAnalysisData data1, ValueContentAnalysisData data2, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain) : base(data1, data2, coreDataAnalysisDomain) { }