private static TaintedDataAnalysisResult TryGetOrComputeResultForAnalysisContext(TaintedDataAnalysisContext analysisContext)
{
TaintedDataOperationVisitor visitor = new TaintedDataOperationVisitor(analysisContext);
TaintedDataAnalysis analysis = new TaintedDataAnalysis(visitor);
return(analysis.TryGetOrComputeResultCore(analysisContext, cacheResult: true));
}
protected override TaintedDataAnalysisResult ToResult(
TaintedDataAnalysisContext analysisContext,
DataFlowAnalysisResult <TaintedDataBlockAnalysisResult, TaintedDataAbstractValue> dataFlowAnalysisResult)
{
TaintedDataOperationVisitor visitor = (TaintedDataOperationVisitor)this.OperationVisitor;
return(new TaintedDataAnalysisResult(dataFlowAnalysisResult, visitor.GetTaintedDataSourceSinkEntries()));
}
private static TaintedDataAnalysisResult?TryGetOrComputeResultForAnalysisContext(TaintedDataAnalysisContext analysisContext)
{
TaintedDataAnalysisDomain analysisDomain = new TaintedDataAnalysisDomain(new CoreTaintedDataAnalysisDataDomain(analysisContext.PointsToAnalysisResultOpt));
TaintedDataOperationVisitor visitor = new TaintedDataOperationVisitor(analysisDomain, analysisContext);
TaintedDataAnalysis analysis = new TaintedDataAnalysis(analysisDomain, visitor);
return(analysis.TryGetOrComputeResultCore(analysisContext, cacheResult: true));
}
private TaintedDataAnalysis(TaintedDataOperationVisitor operationVisitor)
: base(TaintedDataAnalysisDomainInstance, operationVisitor)
{
}
private TaintedDataAnalysis(TaintedDataAnalysisDomain analysisDomain, TaintedDataOperationVisitor operationVisitor)
: base(analysisDomain, operationVisitor)
{
}
