protected override TaintedDataAnalysisData MergeAnalysisData(TaintedDataAnalysisData value1, TaintedDataAnalysisData value2)
 {
     return(TaintedDataAnalysisDomainInstance.Merge(value1, value2));
 }
 protected override void UpdateValuesForAnalysisData(TaintedDataAnalysisData targetAnalysisData)
 {
     UpdateValuesForAnalysisData(targetAnalysisData.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData);
 }
 protected override TaintedDataAnalysisData GetClonedAnalysisData(TaintedDataAnalysisData analysisData)
 {
     return((TaintedDataAnalysisData)analysisData.Clone());
 }
 protected override bool HasAnyAbstractValue(TaintedDataAnalysisData data)
 {
     return(data.HasAnyAbstractValue);
 }
 protected override bool Equals(TaintedDataAnalysisData value1, TaintedDataAnalysisData value2)
 {
     return(value1.Equals(value2));
 }
 protected override void ApplyInterproceduralAnalysisResultCore(TaintedDataAnalysisData resultData)
 => ApplyInterproceduralAnalysisResultHelper(resultData.CoreAnalysisData);
 protected override void StopTrackingEntity(AnalysisEntity analysisEntity, TaintedDataAnalysisData analysisData)
 {
     analysisData.RemoveEntries(analysisEntity);
 }
 protected override void AddTrackedEntities(TaintedDataAnalysisData analysisData, HashSet <AnalysisEntity> builder, bool forInterproceduralAnalysis)
 => analysisData.AddTrackedEntities(builder);
 private static void SetAbstractValueCore(TaintedDataAnalysisData taintedAnalysisData, AnalysisEntity analysisEntity, TaintedDataAbstractValue value)
 => taintedAnalysisData.SetAbstractValue(analysisEntity, value);
 protected override void ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(TaintedDataAnalysisData dataAtException, ThrownExceptionInfo throwBranchWithExceptionType)
 {
     base.ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData, throwBranchWithExceptionType);
 }
コード例 #11
0
 public TaintedDataAnalysisData(TaintedDataAnalysisData fromData, TaintedDataAnalysisData data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
     : base(fromData, data, coreDataAnalysisDomain)
 {
 }
コード例 #12
0
 public TaintedDataAnalysisData(TaintedDataAnalysisData fromData)
     : base(fromData)
 {
 }
コード例 #13
0
 public TaintedDataBlockAnalysisResult(BasicBlock basicBlock, TaintedDataAnalysisData blockAnalysisData)
     : base(basicBlock)
 {
     Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary <AnalysisEntity, TaintedDataAbstractValue> .Empty;
 }