public void HPSC_Conflicts_1() { Given_Image32( 0x0010000, "55 89 e5 c3"); Given_x86_32(); Given_RewriterHost(); When_DisassembleProcedure(); var conflicts = BlockConflictResolver.BuildConflictGraph(proc.Cfg.Nodes); var sExp = @"(l00010001-l00010002) (l00010002-l00010003) "; AssertConflicts(sExp, conflicts); }
public void HPSC_Conflicts_2() { Given_Image32( 0x0010000, "55 E8 00 00 00 38 c3"); Given_x86_32(); Given_RewriterHost(); mr.ReplayAll(); When_DisassembleProcedure(); var conflicts = BlockConflictResolver.BuildConflictGraph(proc.Cfg.Nodes); var sExp = @"(l00010001-l00010002) (l00010001-l00010003) (l00010001-l00010004) (l00010001-l00010005) (l00010002-l00010003) (l00010003-l00010004) (l00010004-l00010005) (l00010005-l00010006) "; AssertConflicts(sExp, conflicts); }