public PointsToBlockAnalysisResult(
BasicBlock basicBlock,
DataFlowAnalysisInfo <PointsToAnalysisData> blockAnalysisData,
ImmutableDictionary <AnalysisEntity, PointsToAbstractValue> defaultPointsToValues)
: base(basicBlock)
{
InputData = GetResult(blockAnalysisData.Input, defaultPointsToValues);
OutputData = GetResult(blockAnalysisData.Output, defaultPointsToValues);
}
public PointsToBlockAnalysisResult(BasicBlock basicBlock, DataFlowAnalysisInfo <PointsToAnalysisData> blockAnalysisData)
: base(basicBlock)
{
InputData = blockAnalysisData.Input?.ToImmutableDictionary() ?? ImmutableDictionary <AnalysisEntity, PointsToAbstractValue> .Empty;
OutputData = blockAnalysisData.Output?.ToImmutableDictionary() ?? ImmutableDictionary <AnalysisEntity, PointsToAbstractValue> .Empty;
}
internal override ParameterValidationBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <ParameterValidationAnalysisData> blockAnalysisData) => new ParameterValidationBlockAnalysisResult(basicBlock, blockAnalysisData);
internal override NullBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <IDictionary <AnalysisEntity, NullAbstractValue> > blockAnalysisData) => new NullBlockAnalysisResult(basicBlock, blockAnalysisData);
internal override PointsToBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <PointsToAnalysisData> blockAnalysisData) => new PointsToBlockAnalysisResult(basicBlock, blockAnalysisData);
internal override StringContentBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <StringContentAnalysisData> blockAnalysisData) => new StringContentBlockAnalysisResult(basicBlock, blockAnalysisData);
public DisposeBlockAnalysisResult(BasicBlock basicBlock, DataFlowAnalysisInfo <DisposeAnalysisData> blockAnalysisData)
: base(basicBlock)
{
InputData = blockAnalysisData.Input?.ToImmutableDictionary() ?? ImmutableDictionary <AbstractLocation, DisposeAbstractValue> .Empty;
OutputData = blockAnalysisData.Output?.ToImmutableDictionary() ?? ImmutableDictionary <AbstractLocation, DisposeAbstractValue> .Empty;
}
public StringContentBlockAnalysisResult(BasicBlock basicBlock, DataFlowAnalysisInfo <StringContentAnalysisData> blockAnalysisData)
: base(basicBlock)
{
InputData = blockAnalysisData.Input?.ToImmutableDictionary() ?? ImmutableDictionary <ISymbol, StringContentAbstractValue> .Empty;
OutputData = blockAnalysisData.Output?.ToImmutableDictionary() ?? ImmutableDictionary <ISymbol, StringContentAbstractValue> .Empty;
}
internal override PointsToBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <PointsToAnalysisData> blockAnalysisData) => new PointsToBlockAnalysisResult(basicBlock, blockAnalysisData, ((PointsToAnalysisDomain)AnalysisDomain).DefaultPointsToValueGenerator.GetDefaultPointsToValueMap());
internal override DisposeBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <IDictionary <AbstractLocation, DisposeAbstractValue> > blockAnalysisData) => new DisposeBlockAnalysisResult(basicBlock, blockAnalysisData);
public ParameterValidationBlockAnalysisResult(BasicBlock basicBlock, DataFlowAnalysisInfo <ParameterValidationAnalysisData> blockAnalysisData)
: base(basicBlock)
{
InputData = blockAnalysisData.Input?.ToImmutableDictionary() ?? ImmutableDictionary <AbstractLocation, ParameterValidationAbstractValue> .Empty;
OutputData = blockAnalysisData.Output?.ToImmutableDictionary() ?? ImmutableDictionary <AbstractLocation, ParameterValidationAbstractValue> .Empty;
}
internal override CopyBlockAnalysisResult ToResult(BasicBlock basicBlock, DataFlowAnalysisInfo <CopyAnalysisData> blockAnalysisData) => new CopyBlockAnalysisResult(basicBlock, blockAnalysisData);