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));
}