public void TaintAnalysisAliases2()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisAliases2_CASE, false);
}
public void TaintAnalysisMultipleNullFlows()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisMultipleNullFlows_CASE, false);
}
public void MayAliasTest()
{
AnalysisTestUtils.RunInfoLevelBackwardPropagationCase(MayAliasTest_CASE);
}
public void TaintAnalysisBasic()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBasic_CASE, false);
}
public void TaintAnalysisParameterByAlias()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisParameterByAlias_CASE, false);
}
public void TaintAnalysisWeakSanitizers()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisWeakSanitizers_CASE, false);
}
public void SimpleTaintAnalysisNativeFunctionsTwoArguments()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeFunctionsTwoArguments_CASE);
}
public void TaintAnalysisFunctionsTwoArguments()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionsTwoArguments_CASE, false);
}
public void SimpleTaintAnalysisFunctionsTaintInsideReturnValue()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideReturnValue_CASE);
}
public void SimpleTaintAnalysisFunctionsTaintInsideAlias()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideAlias_CASE);
}
public void SimpleTaintAnalysisArraysAliasesWeakUpdates()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliasesWeakUpdates_CASE);
}
public void SimpleTaintAnalysisArraysAliases2()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliases2_CASE);
}
// TODO test: get this test working
//[TestMethod]
public void SimpleVariableTracking()
{
AnalysisTestUtils.RunInfoLevelBackwardPropagationCase(SimpleVariableTracking_CASE);
}
public void TaintAnalysisUndefinedValue()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisUndefinedValue_CASE, false);
}
public void SimpleTaintAnalysisNativeSanitizer()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeSanitizer_CASE);
}
public void TaintAnalysisArraysAliasesWeakUpdates()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisArraysAliasesWeakUpdates_CASE, false);
}
public void SimpleTaintAnalysisExpressions()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisExpressions_CASE);
}
public void TaintAnalysisBinaryOperation()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBinaryOperation_CASE, false);
}
public void SimpleTaintAnalysisWriteCharacter()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisWriteCharacter_CASE);
}
public void TaintAnalysisFunctionNullParams()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionNullParams_CASE, false);
}
public void TaintAnalysisExplicitInitialization()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisExplicitInitialization_CASE, false);
}
public void TaintAnalysisCycle()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisCycle_CASE, false);
}
public void IntoMethod()
{
AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(IntoMethod_CASE);
}
