void switchPage(CodePage newPage)
{
foreach (var b in branchDisplays)
{
Destroy(b.gameObject);
}
branchDisplays = new List <BranchButton>();
for (int i = 0; i < newPage.Branches.Count; i++)
{
CodeBranch branch = newPage.Branches[i];
BranchButton button = Instantiate(BranchDisplayPrefab);
button.transform.SetParent(transform);
button.Actions = branch.Actions;
// add one line for the "branch n" line
button.SetText(branch.Image(i), branch.Lines.Count + 1);
branchDisplays.Add(button);
}
if (newPage.NextPage != null)
{
Tailer.text = "Go to " + newPage.NextPage.DisplayName;
}
else
{
Tailer.text = "";
}
Tailer.transform.SetAsLastSibling();
}
public IActionResult Post([FromBody] CodeBranchAPI item)
{
if (item == null)
{
return(BadRequest());
}
CodeBranch CodeBranch = CodeBranchAPI.To(item);
try
{
CodeBranch = new CodeBranchBF(DB).Create(CodeBranch);
return(CreatedAtRoute(
"CodeBranchRoute",
new
{
controller = "CodeBranch",
id = CodeBranch.ID
},
CodeBranchAPI.From(CodeBranch)));
}
catch (Exception ex)
{
return(BadRequest(ex));
}
}
public static CodeBranchAPI From(CodeBranch item)
{
return(new CodeBranchAPI
{
ID = item.ID,
Name = item.Name
});
}
public override void PathConditionAdded(Term condition, int codeLabel)
{
conditions.Add(condition);
Method method = methodStack.Peek();
var branch = new CodeBranch(method.Definition, codeLabel);
branches.Add(branch);
Locations.Add(method.Definition.GetBranchLabelSource(codeLabel));
}
public void CopyBranchProperties(CodeBranch branch)
{
IsBranch = branch.IsBranch;
IsCheck = branch.IsCheck;
IsContinue = branch.IsContinue;
IsFailedCheck = branch.IsFailedCheck;
IsStartMethod = branch.IsStartMethod;
IsSwitch = branch.IsSwitch;
IsTarget = branch.IsTarget;
}
public void Dump()
{
//aggregate the coverage
database.AccumulateMaxCoverage(this.ExplorationServices.Driver.TotalCoverageBuilder);
//for debugging purpose in report
SafeStringBuilder sb = new SafeStringBuilder();
HashSet <CodeLocation> coveredLocations = new HashSet <CodeLocation>();
foreach (var cl in database.FieldsForUnsuccessfullyFlippedCodeLocations.Keys)
{
sb.AppendLine("about code location" + cl.ToString());
MethodDefinitionBodyInstrumentationInfo info;
if (cl.Method.TryGetBodyInstrumentationInfo(out info))
{
ISymbolManager sm = this.Services.SymbolManager;
SequencePoint sp;
sm.TryGetSequencePoint(null, 0, out sp);
int coveredBranchesCount = 0;
foreach (var outgoingBranchLabel in info.GetOutgoingBranchLabels(cl.Offset))
{
CodeBranch codeBranch = new CodeBranch(cl.Method, outgoingBranchLabel);
if (!codeBranch.IsBranch) // is explicit branch?
{
coveredBranchesCount = 2; // if not, pretend we covered it
continue;
}
CoverageDomain domain;
int[] hits;
if (
this.ExplorationServices.Driver.TotalCoverageBuilder.TryGetMethodHits(cl.Method, out domain,
out hits) &&
outgoingBranchLabel < hits.Length &&
hits[outgoingBranchLabel] > 0)
//we have branches not being covered for the code location
{
sb.AppendLine(" outgoing branch " + outgoingBranchLabel + " hit");
coveredBranchesCount++;
}
}
if (coveredBranchesCount > 1) //the location has been covered
{
coveredLocations.Add(cl);
}
}
}
foreach (var cl in coveredLocations)
{
database.FieldsForUnsuccessfullyFlippedCodeLocations.Remove(cl);
}
this.Log.Dump("foo", "insufficiency summary", sb.ToString());
//database.DumpInSufficientObjectFactoryFieldInfoIToFile();
}
public CodeBranch Create(CodeBranch item)
{
if (item.IsValid())
{
try
{
db.CodeBranches.Add(item);
db.SaveChanges();
return(item);
}
catch (Exception ex)
{
db.CodeBranches.Remove(item);
throw ex;
}
}
else
{
throw new Exception("CodeBranch is invalid");
}
}
public override void PathConditionAdded(Term condition, int codeLabel)
{
conditions.Add(condition);
Method method = methodStack.Peek();
var branch = new CodeBranch(method.Definition, codeLabel);
branches.Add(branch);
Locations.Add(method.Definition.GetBranchLabelSource(codeLabel));
}
public void FindUncoveredBranches(IPexComponent host)
{
TaggedBranchCoverageBuilder <PexGeneratedTestName> cov;
IPexCoverageManager manager = host.Services.CoverageManager;
StringBuilder sb = new StringBuilder("method coverage: \n");
try
{
if (manager.TryGetAssemblyCoverageBuilder(out cov))
{
// var definitions = cov.Methods;
IEnumerable <MethodDefinition> definitions = cov.Methods;
host.Log.Dump("test", "test", "methods: " + definitions.Count());
Log.AppendLine("assembly methods: " + definitions.Count());
sb.AppendLine("methods: " + definitions.Count());
foreach (var method in definitions)
{
Log.AppendLine("method: " + method.FullName);
// Method m = method.Instantiate(TypeEx.NoTypes, TypeEx.NoTypes);
// MethodBodyEx body;
// if (!m.TryGetBody(out body))
// {
// //error
// Log.AppendLine("load method body failed");
// }
// method.Instantiate()
CoverageDomain domain;
if (!branchCoverageDetails.ContainsKey(method))
{
branchCoverageDetails.Add(method, new HashSet <BranchCoverageDetail>());
}
int[] hits;
if (cov.TryGetMethodHits(method, out domain, out hits))
{
Log.AppendLine("method hits: " + hits.Length + " " + hits);
for (int branchLabel = 0; branchLabel < hits.Length; branchLabel++)
{
CodeLocation location = method.GetBranchLabelSource(branchLabel);
Log.AppendLine("current location: " + location);
MethodDefinitionBodyInstrumentationInfo info;
if (method.TryGetBodyInstrumentationInfo(out info))
{
ISymbolManager sm = host.Services.SymbolManager;
SequencePoint sp;
sm.TryGetSequencePoint(method, location.Offset, out sp);
Log.AppendLine("info: " + info.MethodDefinition.FullName);
// foreach (var index in info.BasicBlockStartOffsets)
// {
// Log.AppendLine("start of BB: " + index.ToString("x"));
// }
// var util = new BasicBlockUtil(Log, body, info.BasicBlockStartOffsets);
// ReadInstructionCov(method, hits, info);
foreach (
var outgoingBranchLabel in
info.GetOutgoingBranchLabels(location.Offset))
{
CodeBranch codeBranch = new CodeBranch(location.Method,
outgoingBranchLabel);
if (!codeBranch.IsBranch && !codeBranch.IsSwitch && !codeBranch.IsCheck) // is explicit branch?
{
host.Log.Dump("coverage", "coverage",
"CodeBranch: " + codeBranch +
" is not explicit");
sb.AppendLine("CodeBranch: " + codeBranch +
" is not explicit");
Log.AppendLine("CodeBranch: " + codeBranch +
" is not explicit");
continue; // if not, we don't log it
}
var fromMethod = method.FullName + "," +
sp.Document + "," +
sp.Line + ", column: " + sp.Column + " outgoing label: " +
outgoingBranchLabel;
BranchInfo branchInfo = new BranchInfo(sp.Document, sp.Line, sp.Column, sp.EndColumn, method.FullName, location.Offset);
Log.AppendLine("Checking CodeBranch: " + codeBranch);
Log.AppendLine("CodeBranch location: " + fromMethod);
Log.AppendLine("hits.Length: " + hits.Length);
Log.AppendLine("codeBranch.IsBranch: " + codeBranch.IsBranch);
Log.AppendLine("codeBranch.IsCheck: " + codeBranch.IsCheck);
Log.AppendLine("codeBranch.IsContinue: " + codeBranch.IsContinue);
Log.AppendLine("codeBranch.IsFailedCheck: " + codeBranch.IsFailedCheck);
Log.AppendLine("codeBranch.IsStartMethod: " + codeBranch.IsStartMethod);
Log.AppendLine("codeBranch.IsSwitch: " + codeBranch.IsSwitch);
Log.AppendLine("codeBranch.IsTarget: " + codeBranch.IsTarget);
int branchhit = 0;
if (outgoingBranchLabel < hits.Length &&
hits[outgoingBranchLabel] != 0)
{
Log.AppendLine("CodeBranch: " + codeBranch + " is covered " + hits[outgoingBranchLabel] + " times");
branchhit = hits[outgoingBranchLabel];
}
if (outgoingBranchLabel >= hits.Length)
{
Log.AppendLine("CodeBranch: " + codeBranch + " is not covered " + " since outgoing label" + outgoingBranchLabel + " is larger than" + hits.Length + ".");
branchhit = 0;
}
string type = "";
if (codeBranch.IsBranch)
{
type = "Explicit";
}
else if (codeBranch.IsCheck)
{
type = "Implicit";
}
BranchCoverageDetail coverageDetail = new BranchCoverageDetail(branchInfo, branchhit, null, 0, type);
coverageDetail.CopyBranchProperties(codeBranch);
coverageDetail.OutgoingLabel = outgoingBranchLabel;
coverageDetail.BranchLabel = branchLabel;
int targetOffset;
if (info.TryGetTargetOffset(outgoingBranchLabel, out targetOffset))
{
sm.TryGetSequencePoint(method, targetOffset, out sp);
var targetCovTimes =
info.GetInstructionCoverage(hits).Invoke(targetOffset);
Log.AppendLine(fromMethod
+ "\n going to: " + sp.Document + " line: " +
sp.Line + " column: " + sp.Column + " endcolumn: " +
sp.EndColumn + " target: " + targetOffset.ToString("x"));
Log.AppendLine("target offset: " + targetOffset.ToString("x"));
Log.AppendLine("it is covered at " + targetCovTimes + " times");
Log.AppendLine("outgoing lables: " +
info.GetOutgoingBranchLabels(targetOffset).Count);
BranchInfo targetInfo = new BranchInfo(sp.Document, sp.Line, sp.Column, sp.EndColumn, method.FullName, targetOffset);
coverageDetail.TargetLocation = targetInfo;
coverageDetail.targetCoveredTimes = targetCovTimes;
if (!branchCoverageDetails[method].Contains(coverageDetail))
{
branchCoverageDetails[method].Add(coverageDetail);
}
else
{
foreach (BranchCoverageDetail detail in branchCoverageDetails[method])
{
if (detail.Equals(coverageDetail))
{
if (coverageDetail.CoveredTimes > detail.CoveredTimes)
{
detail.CoveredTimes = coverageDetail.CoveredTimes;
}
}
}
}
}
if (outgoingBranchLabel < hits.Length &&
hits[outgoingBranchLabel] == 0 || branchhit == 0)
{
Log.AppendLine("CodeBranch: " + codeBranch + " is not covered" +
" current offset: " + location.Offset.ToString("x"));
// if (!targetBlockCovered)
// {
locations.Add(new BranchLocation(location, outgoingBranchLabel));
continue;
// }
if (info.TryGetTargetOffset(outgoingBranchLabel, out targetOffset))
{
sm.TryGetSequencePoint(method, targetOffset, out sp);
var times = info.GetInstructionCoverage(hits).Invoke(targetOffset);
Log.AppendLine(fromMethod + " going to: " + sp.Document + " line: " +
sp.Line + " column: " + sp.Column + " endcolumn: " +
sp.EndColumn + " target: " + targetOffset.ToString("x"));
Log.AppendLine("target offset: " + targetOffset.ToString("x"));
Log.AppendLine("it is covered at " + times + " times");
Log.AppendLine("outgoing lables: " +
info.GetOutgoingBranchLabels(targetOffset).Count);
if (times == 0)
{
IIndexable <int> basicBlockStartOffsets = info.BasicBlockStartOffsets;
int indexOfBasicBlock;
for (indexOfBasicBlock = 0;
indexOfBasicBlock < basicBlockStartOffsets.Count;
indexOfBasicBlock++)
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock].
ToString("x"));
if (basicBlockStartOffsets[indexOfBasicBlock] == targetOffset)
{
break;
}
}
bool targetBlockCovered = true;
if (targetOffset + 1 >=
basicBlockStartOffsets[indexOfBasicBlock + 1])
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock + 1]);
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" reach next block");
targetBlockCovered = false;
}
else
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock + 1].
ToString("x"));
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" inside same block");
int coveredTimes =
info.GetInstructionCoverage(hits).Invoke(targetOffset + 1);
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" is covered at " + coveredTimes + " times.");
if (coveredTimes == 0)
{
targetBlockCovered = false;
}
}
if (!targetBlockCovered)
{
// locations.Add(location, outgoingBranchLabel);
}
}
}
}
}
}
}
}
}
}
else
{
sb.AppendLine("manager.TryGetAssemblyCoverageBuilder is null!");
}
host.GetService <ProblemTrackDatabase>().InstructionCov = instructionCov;
host.GetService <ProblemTrackDatabase>().BasicBlocksOffsets = basicBlockOffsets;
host.GetService <ProblemTrackDatabase>().BranchCoverageDetails = branchCoverageDetails;
DumpInfoToDebugFile(sb.ToString(), assemblyCovFileName);
}
catch (Exception ex)
{
host.Log.Dump("coverage", "cov ex", ex.Message);
host.GetService <ProblemTrackDatabase>().ErrorLog.AppendLine("exception in FindUncoveredBranches: " + ex);
DumpInfoToDebugFile("cov ex" + ex.Message, assemblyCovFileName);
}
}
public void CopyBranchProperties(CodeBranch branch)
{
IsBranch = branch.IsBranch;
IsCheck = branch.IsCheck;
IsContinue = branch.IsContinue;
IsFailedCheck = branch.IsFailedCheck;
IsStartMethod = branch.IsStartMethod;
IsSwitch = branch.IsSwitch;
IsTarget = branch.IsTarget;
}
public void FindUncoveredBranches(IPexComponent host)
{
TaggedBranchCoverageBuilder<PexGeneratedTestName> cov;
IPexCoverageManager manager = host.Services.CoverageManager;
StringBuilder sb = new StringBuilder("method coverage: \n");
try
{
if (manager.TryGetAssemblyCoverageBuilder(out cov))
{
// var definitions = cov.Methods;
IEnumerable<MethodDefinition> definitions = cov.Methods;
host.Log.Dump("test", "test", "methods: " + definitions.Count());
Log.AppendLine("assembly methods: " + definitions.Count());
sb.AppendLine("methods: " + definitions.Count());
foreach (var method in definitions)
{
Log.AppendLine("method: " + method.FullName);
// Method m = method.Instantiate(TypeEx.NoTypes, TypeEx.NoTypes);
// MethodBodyEx body;
// if (!m.TryGetBody(out body))
// {
// //error
// Log.AppendLine("load method body failed");
// }
// method.Instantiate()
CoverageDomain domain;
if (!branchCoverageDetails.ContainsKey(method))
{
branchCoverageDetails.Add(method,new HashSet<BranchCoverageDetail>());
}
int[] hits;
if (cov.TryGetMethodHits(method, out domain, out hits))
{
Log.AppendLine("method hits: " + hits.Length + " " + hits);
for (int branchLabel = 0; branchLabel < hits.Length; branchLabel++)
{
CodeLocation location = method.GetBranchLabelSource(branchLabel);
Log.AppendLine("current location: " + location);
MethodDefinitionBodyInstrumentationInfo info;
if (method.TryGetBodyInstrumentationInfo(out info))
{
ISymbolManager sm = host.Services.SymbolManager;
SequencePoint sp;
sm.TryGetSequencePoint(method, location.Offset, out sp);
Log.AppendLine("info: " + info.MethodDefinition.FullName);
// foreach (var index in info.BasicBlockStartOffsets)
// {
// Log.AppendLine("start of BB: " + index.ToString("x"));
// }
// var util = new BasicBlockUtil(Log, body, info.BasicBlockStartOffsets);
// ReadInstructionCov(method, hits, info);
foreach (
var outgoingBranchLabel in
info.GetOutgoingBranchLabels(location.Offset))
{
CodeBranch codeBranch = new CodeBranch(location.Method,
outgoingBranchLabel);
if (!codeBranch.IsBranch && !codeBranch.IsSwitch && !codeBranch.IsCheck) // is explicit branch?
{
host.Log.Dump("coverage", "coverage",
"CodeBranch: " + codeBranch +
" is not explicit");
sb.AppendLine("CodeBranch: " + codeBranch +
" is not explicit");
Log.AppendLine("CodeBranch: " + codeBranch +
" is not explicit");
continue; // if not, we don't log it
}
var fromMethod = method.FullName + "," +
sp.Document + "," +
sp.Line + ", column: " + sp.Column + " outgoing label: " +
outgoingBranchLabel;
BranchInfo branchInfo = new BranchInfo(sp.Document,sp.Line,sp.Column,sp.EndColumn,method.FullName,location.Offset);
Log.AppendLine("Checking CodeBranch: " + codeBranch);
Log.AppendLine("CodeBranch location: " + fromMethod);
Log.AppendLine("hits.Length: " + hits.Length);
Log.AppendLine("codeBranch.IsBranch: " + codeBranch.IsBranch);
Log.AppendLine("codeBranch.IsCheck: " + codeBranch.IsCheck);
Log.AppendLine("codeBranch.IsContinue: " + codeBranch.IsContinue);
Log.AppendLine("codeBranch.IsFailedCheck: " + codeBranch.IsFailedCheck);
Log.AppendLine("codeBranch.IsStartMethod: " + codeBranch.IsStartMethod);
Log.AppendLine("codeBranch.IsSwitch: " + codeBranch.IsSwitch);
Log.AppendLine("codeBranch.IsTarget: " + codeBranch.IsTarget);
int branchhit = 0;
if (outgoingBranchLabel < hits.Length &&
hits[outgoingBranchLabel] != 0)
{
Log.AppendLine("CodeBranch: " + codeBranch + " is covered " + hits[outgoingBranchLabel] + " times");
branchhit = hits[outgoingBranchLabel];
}
if(outgoingBranchLabel >= hits.Length){
Log.AppendLine("CodeBranch: " + codeBranch + " is not covered " + " since outgoing label"+ outgoingBranchLabel +" is larger than" + hits.Length + ".");
branchhit = 0;
}
string type = "";
if (codeBranch.IsBranch)
{
type = "Explicit";
}
else if(codeBranch.IsCheck)
{
type = "Implicit";
}
BranchCoverageDetail coverageDetail = new BranchCoverageDetail(branchInfo,branchhit,null,0,type);
coverageDetail.CopyBranchProperties(codeBranch);
coverageDetail.OutgoingLabel = outgoingBranchLabel;
coverageDetail.BranchLabel = branchLabel;
int targetOffset;
if (info.TryGetTargetOffset(outgoingBranchLabel, out targetOffset))
{
sm.TryGetSequencePoint(method, targetOffset, out sp);
var targetCovTimes =
info.GetInstructionCoverage(hits).Invoke(targetOffset);
Log.AppendLine(fromMethod
+ "\n going to: " + sp.Document + " line: " +
sp.Line + " column: " + sp.Column + " endcolumn: " +
sp.EndColumn + " target: " + targetOffset.ToString("x"));
Log.AppendLine("target offset: " + targetOffset.ToString("x"));
Log.AppendLine("it is covered at " + targetCovTimes + " times");
Log.AppendLine("outgoing lables: " +
info.GetOutgoingBranchLabels(targetOffset).Count);
BranchInfo targetInfo = new BranchInfo(sp.Document, sp.Line, sp.Column, sp.EndColumn, method.FullName, targetOffset);
coverageDetail.TargetLocation = targetInfo;
coverageDetail.targetCoveredTimes = targetCovTimes;
if (!branchCoverageDetails[method].Contains(coverageDetail))
{
branchCoverageDetails[method].Add(coverageDetail);
}
else
{
foreach (BranchCoverageDetail detail in branchCoverageDetails[method])
{
if (detail.Equals(coverageDetail))
{
if (coverageDetail.CoveredTimes > detail.CoveredTimes)
{
detail.CoveredTimes = coverageDetail.CoveredTimes;
}
}
}
}
}
if (outgoingBranchLabel < hits.Length &&
hits[outgoingBranchLabel] == 0 || branchhit == 0)
{
Log.AppendLine("CodeBranch: " + codeBranch + " is not covered" +
" current offset: " + location.Offset.ToString("x"));
// if (!targetBlockCovered)
// {
locations.Add(new BranchLocation(location, outgoingBranchLabel));
continue;
// }
if (info.TryGetTargetOffset(outgoingBranchLabel, out targetOffset))
{
sm.TryGetSequencePoint(method, targetOffset, out sp);
var times = info.GetInstructionCoverage(hits).Invoke(targetOffset);
Log.AppendLine(fromMethod + " going to: " + sp.Document + " line: " +
sp.Line + " column: " + sp.Column + " endcolumn: " +
sp.EndColumn + " target: " + targetOffset.ToString("x"));
Log.AppendLine("target offset: " + targetOffset.ToString("x"));
Log.AppendLine("it is covered at " + times + " times");
Log.AppendLine("outgoing lables: " +
info.GetOutgoingBranchLabels(targetOffset).Count);
if (times == 0)
{
IIndexable<int> basicBlockStartOffsets = info.BasicBlockStartOffsets;
int indexOfBasicBlock;
for (indexOfBasicBlock = 0;
indexOfBasicBlock < basicBlockStartOffsets.Count;
indexOfBasicBlock++)
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock].
ToString("x"));
if (basicBlockStartOffsets[indexOfBasicBlock] == targetOffset)
{
break;
}
}
bool targetBlockCovered = true;
if (targetOffset + 1 >=
basicBlockStartOffsets[indexOfBasicBlock + 1])
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock + 1]);
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" reach next block");
targetBlockCovered = false;
}
else
{
Log.AppendLine("basicBlockStartOffsets: " +
basicBlockStartOffsets[indexOfBasicBlock + 1].
ToString("x"));
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" inside same block");
int coveredTimes =
info.GetInstructionCoverage(hits).Invoke(targetOffset + 1);
Log.AppendLine("Target Offset " +
(targetOffset + 1).ToString("x") +
" is covered at " + coveredTimes + " times.");
if (coveredTimes == 0)
{
targetBlockCovered = false;
}
}
if (!targetBlockCovered)
{
// locations.Add(location, outgoingBranchLabel);
}
}
}
}
}
}
}
}
}
}
else
{
sb.AppendLine("manager.TryGetAssemblyCoverageBuilder is null!");
}
host.GetService<ProblemTrackDatabase>().InstructionCov = instructionCov;
host.GetService<ProblemTrackDatabase>().BasicBlocksOffsets = basicBlockOffsets;
host.GetService<ProblemTrackDatabase>().BranchCoverageDetails = branchCoverageDetails;
DumpInfoToDebugFile(sb.ToString(), assemblyCovFileName);
}
catch (Exception ex)
{
host.Log.Dump("coverage", "cov ex", ex.Message);
host.GetService<ProblemTrackDatabase>().ErrorLog.AppendLine("exception in FindUncoveredBranches: " + ex);
DumpInfoToDebugFile("cov ex" + ex.Message, assemblyCovFileName);
}
}
