protected override PointsToAbstractValue GetAbstractValue(AnalysisEntity analysisEntity)
{
if (!analysisEntity.Type.IsReferenceType)
{
return(PointsToAbstractValue.NoLocation);
}
if (!CurrentAnalysisData.TryGetValue(analysisEntity, out var value))
{
value = _defaultPointsToValueGenerator.GetOrCreateDefaultValue(analysisEntity);
CurrentAnalysisData.Add(analysisEntity, value);
}
return(value);
}