public static void BuildAndAnalyze2S(Options options) { if (options.SkipForCCI2) { return; } BuildAndAnalyze2S(options, Output.ConsoleOutputFor(options.TestName)); }
public static void BuildAndAnalyze(Options options) { var output = Output.ConsoleOutputFor(options.TestName); string absoluteSourceDir; var target = Build(options, "/d:CLOUSOT1", output, out absoluteSourceDir); if (target != null) { Clousot(absoluteSourceDir, target, options, output); } }
public static void BuildAndAnalyze1Slicing(ITestOutputHelper testOutputHelper, Options options) { var output = Output.ConsoleOutputFor(testOutputHelper, options.TestName); try { BuildAndAnalyze1Slicing(options, output.Item1); } finally { testOutputHelper.WriteLine(output.Item2.ToString()); } }
public static void BuildAndAnalyze(ITestOutputHelper testOutputHelper, Options options, string testName, int testIndex) { var output = Output.ConsoleOutputFor(testOutputHelper, testName); try { string absoluteSourceDir; var target = Build(options, testIndex, "/d:CLOUSOT1", output.Item1, out absoluteSourceDir); if (target != null) { Clousot(absoluteSourceDir, target, options, testName, testIndex, output.Item1); } } finally { testOutputHelper.WriteLine(output.Item2.ToString()); } }
public static void BuildAndAnalyze2S(ITestOutputHelper testOutputHelper, Options options) { if (options.SkipForCCI2) { return; } var output = Output.ConsoleOutputFor(testOutputHelper, options.TestName); try { BuildAndAnalyze2S(testOutputHelper, options, output.Item1); } finally { testOutputHelper.WriteLine(output.Item2.ToString()); } }
public static void BuildAndAnalyze1Slicing(Options options) { BuildAndAnalyze1Slicing(options, Output.ConsoleOutputFor(options.TestName)); }