Python DependencyDict示例

示例#1

    def node2str(self, node):
        assert (node.label in self.ira.blocs)
        out = "(%s, %s, %s)\\l" % (node.label.name, node.element, node.line_nb)
        if not (0 <= node.line_nb < len(self.ira.blocs[node.label].irs)):
            return out
        exprs = self.ira.blocs[node.label].irs[node.line_nb]
        exprs_str = '\\l'.join([str(x) for x in exprs])
        return "%s %s" % (out, exprs_str)


# Test structures
print "[+] Test structures"

print "[+] Test DependencyDict"
dd0 = DependencyDict(lbl0, [])
depnodes_0 = [DependencyNode(lbl0, a, i) for i in xrange(10)][::-1]

## Heads
assert (list(dd0.heads()) == [])
assert (dd0.is_head(depnodes_0[-1]) == True)
assert (dd0.is_head(depnodes_0[0]) == False)
dd0.cache[depnodes_0[-1]] = set(depnodes_0[-1:])
assert (list(dd0.heads()) == [depnodes_0[-1]])

## Extend
dd1 = dd0.extend(lbl1)

assert (dd1.label == lbl1)
assert (dd1.history == [dd0])
assert (dd1.cache == dd0.cache)

示例#2

文件： depgraph.py 项目： wflk/miasm

        assert node.label in self.ira.blocs
        out = "(%s, %s, %s)\\l" % (node.label.name,
                                 node.element,
                                 node.line_nb)
        if not 0 <= node.line_nb < len(self.ira.blocs[node.label].irs):
            return out
        exprs = self.ira.blocs[node.label].irs[node.line_nb]
        exprs_str = '\\l'.join([str(x) for x in exprs])
        return "%s %s" % (out, exprs_str)

# Test structures
print "[+] Test structures"

print "[+] Test DependencyDict"
DD0 = DependencyDict(LBL0, [])
DEPNODES_0 = [DependencyNode(LBL0, A, linenb, next(STEP_COUNTER))
              for linenb in xrange(10)][::-1]

# Heads
assert list(DD0.heads()) == []
assert DD0.is_head(DEPNODES_0[-1]) == True
assert DD0.is_head(DEPNODES_0[0]) == False
DD0.cache[DEPNODES_0[-1]] = set(DEPNODES_0[-1:])
assert list(DD0.heads()) == [DEPNODES_0[-1]]

# Extend
DD1 = DD0.extend(LBL1)

assert DD1.label == LBL1
assert DD1.history == [DD0]

示例#3

文件： depgraph.py 项目： avelik/miasm

    def node2str(self, node):
        assert(node.label in self.ira.blocs)
        out = "(%s, %s, %s)\\l"%(node.label.name,
                                 node.element,
                                 node.line_nb)
        if not (0 <= node.line_nb < len(self.ira.blocs[node.label].irs)):
            return out
        exprs = self.ira.blocs[node.label].irs[node.line_nb]
        exprs_str = '\\l'.join([str(x) for x in exprs])
        return "%s %s"%(out, exprs_str)

# Test structures
print "[+] Test structures"

print "[+] Test DependencyDict"
dd0 = DependencyDict(lbl0, [])
depnodes_0 = [DependencyNode(lbl0, a, i) for i in xrange(10)][::-1]

## Heads
assert(list(dd0.heads()) == [])
assert(dd0.is_head(depnodes_0[-1]) == True)
assert(dd0.is_head(depnodes_0[0]) == False)
dd0.cache[depnodes_0[-1]] = set(depnodes_0[-1:])
assert(list(dd0.heads()) == [depnodes_0[-1]])

## Extend
dd1 = dd0.extend(lbl1)

assert(dd1.label == lbl1)
assert(dd1.history == [dd0])
assert(dd1.cache == dd0.cache)

示例#4

文件： depgraph.py 项目： simudream/miasm

                return str(self.ira.blocs[node])

        assert node.label in self.ira.blocs
        out = "(%s, %s, %s)\\l" % (node.label.name, node.element, node.line_nb)
        if not 0 <= node.line_nb < len(self.ira.blocs[node.label].irs):
            return out
        exprs = self.ira.blocs[node.label].irs[node.line_nb]
        exprs_str = '\\l'.join([str(x) for x in exprs])
        return "%s %s" % (out, exprs_str)


# Test structures
print "[+] Test structures"

print "[+] Test DependencyDict"
DD0 = DependencyDict(LBL0, [])
DEPNODES_0 = [
    DependencyNode(LBL0, A, linenb, next(STEP_COUNTER))
    for linenb in xrange(10)
][::-1]

# Heads
assert list(DD0.heads()) == []
assert DD0.is_head(DEPNODES_0[-1]) == True
assert DD0.is_head(DEPNODES_0[0]) == False
DD0.cache[DEPNODES_0[-1]] = set(DEPNODES_0[-1:])
assert list(DD0.heads()) == [DEPNODES_0[-1]]

# Extend
DD1 = DD0.extend(LBL1)