Ejemplos de AnalysisEntityBasedPredicateAnalysisData en C# (CSharp)

Ejemplo n.º 1

Archivo: TaintedDataAnalysisData.cs Proyecto: JarLob/security-code-scan

 public override AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
 {
     return(new TaintedDataAnalysisData(this, (TaintedDataAnalysisData)data, coreDataAnalysisDomain));
 }

Ejemplo n.º 2

Archivo: TaintedDataAnalysisData.cs Proyecto: JarLob/security-code-scan

 public override int Compare(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> other, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
 {
     return(this.BaseCompareHelper(other, coreDataAnalysisDomain));
 }

Ejemplo n.º 3

        public override AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> data, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
        {
            Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
            var mergedData = new PointsToAnalysisData(this, (PointsToAnalysisData)data, coreDataAnalysisDomain);

            mergedData.AssertValidPointsToAnalysisData();
            return(mergedData);
        }

Ejemplo n.º 4

 public override int Compare(AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> other, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
 => BaseCompareHelper(other, coreDataAnalysisDomain);

Ejemplo n.º 5

 public override AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> data, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain)
 => new ValueContentAnalysisData(this, (ValueContentAnalysisData)data, coreDataAnalysisDomain);

Ejemplo n.º 6

Archivo: CopyAnalysisData.cs Proyecto: murali91921/roslyn-analyzers

 public override AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> data, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain)
 {
     Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
     return(new CopyAnalysisData(this, (CopyAnalysisData)data, coreDataAnalysisDomain));
 }