internal PointsToAnalysisResult( DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> corePointsToAnalysisResult, ImmutableDictionary <IOperation, ImmutableHashSet <AbstractLocation> > escapedLocationsThroughOperationsMap, ImmutableDictionary <IOperation, ImmutableHashSet <AbstractLocation> > escapedLocationsThroughReturnValuesMap, ImmutableDictionary <AnalysisEntity, ImmutableHashSet <AbstractLocation> > escapedLocationsThroughEntitiesMap, TrackedEntitiesBuilder trackedEntitiesBuilder) : base(corePointsToAnalysisResult) { _escapedLocationsThroughOperationsMap = escapedLocationsThroughOperationsMap; _escapedLocationsThroughReturnValuesMap = escapedLocationsThroughReturnValuesMap; _escapedLocationsThroughEntitiesMap = escapedLocationsThroughEntitiesMap; (_trackedEntities, _trackedPointsToValues) = trackedEntitiesBuilder.ToImmutable(); PointsToAnalysisKind = trackedEntitiesBuilder.PointsToAnalysisKind; }
public DefaultPointsToValueGenerator(TrackedEntitiesBuilder trackedEntitiesBuilder) { _trackedEntitiesBuilder = trackedEntitiesBuilder; _defaultPointsToValueMapBuilder = ImmutableDictionary.CreateBuilder <AnalysisEntity, PointsToAbstractValue>(); }