From 04f85cd1a8511b32f2d919f1ff6050fd10ca90e0 Mon Sep 17 00:00:00 2001 From: Peter LaFosse Date: Fri, 5 Apr 2019 10:47:00 -0400 Subject: Add dominator and post_dominator to unit tests --- suite/testcommon.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/suite/testcommon.py b/suite/testcommon.py index 0cb0d853..f221bbef 100644 --- a/suite/testcommon.py +++ b/suite/testcommon.py @@ -376,6 +376,17 @@ class BinaryViewTestBuilder(Builder): return fixOutput(retinfo) + def test_dominators(self): + """Dominators don't match oracle""" + retinfo = [] + for func in self.bv.functions: + for bb in func: + for dom in bb.dominators: + retinfo.append("Dominator: %x of %x" % (dom.start, bb.start)) + for pdom in bb.post_dominators: + retinfo.append("PostDominator: %x of %x" % (pdom.start, bb.start)) + return fixOutput(retinfo) + class TestBuilder(Builder): """ The TestBuilder is for tests that need to be checked against a stored oracle data that isn't from a binary. These test are -- cgit v1.3.1