public void SpecialBlocks_Goto()
{
const string code = @"
public class Class1
{
public void Foo(int x)
{
switch (x) // Branch(Jump0,Jump1,Exit) | Basic#0(Jump:#1,#2,#3)
{
case 0: // Jump0(Jump1) | Basic#1(Jump:#2)
goto case 1;
case 1: // Jump1(Exit) | Basic#2(Jump:#3)
break;
}
} // Exit | Basic#3(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", "2", "3" }),
b => ValidateJmpBlock(b, expectedId: "2", expectedJumps: new[] { "3" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "2" }),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue)
);
}
public void Void_Method_Branch2()
{
const string code = @"
using System;
public class Class1
{
public void Foo(string s)
{
if (true) // Branch (Next:Jump,Exit) | Block#0(Jump:#1,#2)
return; // Jump (Next:Exit) | Block#1(Ret)
Console.WriteLine(s); // Simple (Next:Exit) | Block#2(Jump:#3)
// Exit | Block#3(Ret)
}
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "0" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", "2" }),
b => ValidateRetBlock(b, expectedId: "1", expectedReturnExpression: ConstValue),
b => ValidateJmpBlock(b, expectedId: "2", expectedJumps: "3"),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue)
);
}
public void EntryPointMethod_Has_Additional_Block()
{
const string code = @"
using System.Web.Mvc;
public class Class1 : Controller
{
public void Foo(string s)
{ // | Basic#1(Jump:#0) - contains entrypoint instruction and attributes
} // Exit | Basic#0(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "1" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateRetBlock(b, expectedId: "0", expectedReturnExpression: ConstValue), // block from cfg
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "0" }) // fake entrypoint block
);
}
public void SpecialBlocks_Lock()
{
const string code = @"
public class Class1
{
public void Foo(object o, string s)
{
lock (o) // Lock(Exit) | Basic#0(Jump:#1)
{
}
} // Exit | Basic#1(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1" }),
b => ValidateRetBlock(b, expectedId: "1", expectedReturnExpression: ConstValue)
);
}
public void String_Method_Simple()
{
const string code = @"
public class Class1
{
public string Foo(string s)
{
return s; // Jump (Next:Exit) | Block#0(Ret:s)
// Exit | Block#1(Ret:Const)// ignored when deserializing
}
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "0" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateRetBlock(b, expectedId: "0", expectedReturnExpression: "s"),
b => ValidateRetBlock(b, expectedId: "1", expectedReturnExpression: ConstValue));
}
public void SpecialBlocks_Foreach()
{
const string code = @"
public class Class1
{
public void Foo(string[] items)
{
foreach (var item in items) // Foreach(BinaryBranch) | Basic#0
// BinaryBranch(BinaryBranch,Exit) | Basic#1(Jump:#1,#2)
{
}
} // Exit | Basic#2(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "1", "2" }),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: ConstValue)
);
}
public void SpecialBlocks_For()
{
const string code = @"
public class Class1
{
public void Foo(string[] items)
{
for (int i = 0; i < items.Length; i++) // For(BinaryBranch) | Basic#0(Jump:#1)
// BinaryBranch(Simple,Exit) | Basic#1(Jump:#2,#3)
{ // Simple(BinaryBranch) | Basic#2(Jump:#1)
}
} // Exit | Basic#3(Ret)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "2", "3" }),
b => ValidateJmpBlock(b, expectedId: "2", expectedJumps: new[] { "1" }),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue)
);
}
public void SpecialBlocks_Using_Statement()
{
const string code = @"
public class Class1
{
public void Foo(Func<IDisposable> factory)
{
using (var x = factory()) // Jump(Next:UsingEnd) | Basic#0(Jump:#1)
{
// UsingEnd(Next:Exit) | Basic#1(Jump:#2)
}
// Exit | Basic#2(Ret:Const)
}
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: new[] { "2" }),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: ConstValue)
);
}
public void Throw_Exception()
{
const string code = @"
public class Class1
{
public string Foo(string s)
{
if (true) // Branch(Jump,Exit) | Basic#0(Jump:#1,#2)
{
throw new Exception(); // Jump(Exit) | Basic#1(Jump:#3)
}
return s; // Jump(Exit) | Basic#2(Ret:s)
} // Exit | Basic#3(Ret:Const)
}";
var ucfg = UcfgVerifier.GetUcfgForMethod(code, "Foo");
ucfg.Entries.Should().BeEquivalentTo(new[] { "0" });
TestHelper.AssertCollection(ucfg.BasicBlocks,
b => ValidateJmpBlock(b, expectedId: "0", expectedJumps: new[] { "1", "2" }),
b => ValidateJmpBlock(b, expectedId: "1", expectedJumps: "3"),
b => ValidateRetBlock(b, expectedId: "2", expectedReturnExpression: "s"),
b => ValidateRetBlock(b, expectedId: "3", expectedReturnExpression: ConstValue));
}