public void TaintAnalysisUndefinedValue() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisUndefinedValue_CASE, false); }
public void TaintAnalysisArraysAliasesWeakUpdates() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisArraysAliasesWeakUpdates_CASE, false); }
public void SimpleTaintAnalysisArraysAliases2() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliases2_CASE); }
public void TaintAnalysisMultipleNullFlows() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisMultipleNullFlows_CASE, false); }
public void TaintAnalysisWeakSanitizers() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisWeakSanitizers_CASE, false); }
public void TaintAnalysisFunctionCallInCycle2() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionCallInCycle2_CASE, false); }
public void SimpleTaintAnalysisExpressions() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisExpressions_CASE); }
public void TaintAnalysisParameterByAlias() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisParameterByAlias_CASE, false); }
public void SimpleTaintAnalysisNativeFunctionsTwoArguments() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeFunctionsTwoArguments_CASE); }
public void SimpleTaintAnalysisNativeSanitizer() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeSanitizer_CASE); }
public void SimpleTaintAnalysisFunctionsTaintInsideAlias() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideAlias_CASE); }
public void SimpleTaintAnalysisFunctionsTaintInsideReturnValue() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideReturnValue_CASE); }
public void SimpleTaintAnalysisArraysAliasesWeakUpdates() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliasesWeakUpdates_CASE); }
public void TaintAnalysisFunctionsTwoArguments() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionsTwoArguments_CASE, false); }
public void SimpleTaintAnalysisWriteCharacter() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisWriteCharacter_CASE); }
public void TaintAnalysisBinaryOperation() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBinaryOperation_CASE, false); }
public void TaintAnalysisExplicitInitialization() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisExplicitInitialization_CASE, false); }
public void TaintAnalysisFunctionNullParams() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionNullParams_CASE, false); }
public void TaintAnalysisBasic() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBasic_CASE, false); }
public void TaintAnalysisCycle() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisCycle_CASE, false); }
public void TaintAnalysisAliases2() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisAliases2_CASE, false); }
public void TaintAnalysisConditionalAssign() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisConditionalAssign_CASE, false); }
public void IntoMethod() { AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(IntoMethod_CASE); }