Esempi in C# (CSharp) per Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.PointsToAnalysis TrackedEntitiesBuilder

Esempio n. 1

File: PointsToAnalysisResult.cs Progetto: JarLob/security-code-scan

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

Esempio n. 2

File: DefaultPointsToValueGenerator.cs Progetto: JarLob/security-code-scan

 public DefaultPointsToValueGenerator(TrackedEntitiesBuilder trackedEntitiesBuilder)
 {
     _trackedEntitiesBuilder         = trackedEntitiesBuilder;
     _defaultPointsToValueMapBuilder = ImmutableDictionary.CreateBuilder <AnalysisEntity, PointsToAbstractValue>();
 }