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);