C# (CSharp) AnalysisTestUtils Examples

Example #1

 public void TaintAnalysisAliases2()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisAliases2_CASE, false);
 }

Example #2

 public void TaintAnalysisMultipleNullFlows()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisMultipleNullFlows_CASE, false);
 }

Example #3

 public void MayAliasTest()
 {
     AnalysisTestUtils.RunInfoLevelBackwardPropagationCase(MayAliasTest_CASE);
 }

Example #4

 public void TaintAnalysisBasic()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBasic_CASE, false);
 }

Example #5

 public void TaintAnalysisParameterByAlias()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisParameterByAlias_CASE, false);
 }

Example #6

 public void TaintAnalysisWeakSanitizers()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisWeakSanitizers_CASE, false);
 }

Example #7

 public void SimpleTaintAnalysisNativeFunctionsTwoArguments()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeFunctionsTwoArguments_CASE);
 }

Example #8

 public void TaintAnalysisFunctionsTwoArguments()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionsTwoArguments_CASE, false);
 }

Example #9

 public void SimpleTaintAnalysisFunctionsTaintInsideReturnValue()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideReturnValue_CASE);
 }

Example #10

 public void SimpleTaintAnalysisFunctionsTaintInsideAlias()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisFunctionsTaintInsideAlias_CASE);
 }

Example #11

 public void SimpleTaintAnalysisArraysAliasesWeakUpdates()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliasesWeakUpdates_CASE);
 }

Example #12

 public void SimpleTaintAnalysisArraysAliases2()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisArraysAliases2_CASE);
 }

Example #13

 // TODO test: get this test working
 //[TestMethod]
 public void SimpleVariableTracking()
 {
     AnalysisTestUtils.RunInfoLevelBackwardPropagationCase(SimpleVariableTracking_CASE);
 }

Example #14

 public void TaintAnalysisUndefinedValue()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisUndefinedValue_CASE, false);
 }

Example #15

 public void SimpleTaintAnalysisNativeSanitizer()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisNativeSanitizer_CASE);
 }

Example #16

 public void TaintAnalysisArraysAliasesWeakUpdates()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisArraysAliasesWeakUpdates_CASE, false);
 }

Example #17

 public void SimpleTaintAnalysisExpressions()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisExpressions_CASE);
 }

Example #18

 public void TaintAnalysisBinaryOperation()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisBinaryOperation_CASE, false);
 }

Example #19

 public void SimpleTaintAnalysisWriteCharacter()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(SimpleTaintAnalysisWriteCharacter_CASE);
 }

Example #20

 public void TaintAnalysisFunctionNullParams()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisFunctionNullParams_CASE, false);
 }

Example #21

 public void TaintAnalysisExplicitInitialization()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisExplicitInitialization_CASE, false);
 }

Example #22

 public void TaintAnalysisCycle()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(TaintAnalysisCycle_CASE, false);
 }

Example #23

 public void IntoMethod()
 {
     AnalysisTestUtils.RunInfoLevelTaintAnalysisCase(IntoMethod_CASE);
 }