protected override TaintedDataAnalysisData MergeAnalysisData(TaintedDataAnalysisData value1, TaintedDataAnalysisData value2)
{
return(TaintedDataAnalysisDomainInstance.Merge(value1, value2));
}
protected override void UpdateValuesForAnalysisData(TaintedDataAnalysisData targetAnalysisData)
{
UpdateValuesForAnalysisData(targetAnalysisData.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData);
}
protected override TaintedDataAnalysisData GetClonedAnalysisData(TaintedDataAnalysisData analysisData)
{
return((TaintedDataAnalysisData)analysisData.Clone());
}
protected override bool HasAnyAbstractValue(TaintedDataAnalysisData data)
{
return(data.HasAnyAbstractValue);
}
protected override bool Equals(TaintedDataAnalysisData value1, TaintedDataAnalysisData value2)
{
return(value1.Equals(value2));
}
protected override void ApplyInterproceduralAnalysisResultCore(TaintedDataAnalysisData resultData) => ApplyInterproceduralAnalysisResultHelper(resultData.CoreAnalysisData);
protected override void StopTrackingEntity(AnalysisEntity analysisEntity, TaintedDataAnalysisData analysisData)
{
analysisData.RemoveEntries(analysisEntity);
}
protected override void AddTrackedEntities(TaintedDataAnalysisData analysisData, HashSet <AnalysisEntity> builder, bool forInterproceduralAnalysis) => analysisData.AddTrackedEntities(builder);
private static void SetAbstractValueCore(TaintedDataAnalysisData taintedAnalysisData, AnalysisEntity analysisEntity, TaintedDataAbstractValue value) => taintedAnalysisData.SetAbstractValue(analysisEntity, value);
protected override void ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(TaintedDataAnalysisData dataAtException, ThrownExceptionInfo throwBranchWithExceptionType)
{
base.ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData, throwBranchWithExceptionType);
}
public TaintedDataAnalysisData(TaintedDataAnalysisData fromData, TaintedDataAnalysisData data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
: base(fromData, data, coreDataAnalysisDomain)
{
}
public TaintedDataAnalysisData(TaintedDataAnalysisData fromData)
: base(fromData)
{
}
public TaintedDataBlockAnalysisResult(BasicBlock basicBlock, TaintedDataAnalysisData blockAnalysisData)
: base(basicBlock)
{
Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary <AnalysisEntity, TaintedDataAbstractValue> .Empty;
}
