|
@@ -176,7 +176,7 @@ class VtableDisambiguator(angr.Analysis):
|
|
|
|
|
|
def get_parent_vt_implementing(self, vtsym: Symbol, vtidx: int) -> Symbol:
|
|
|
|
|
|
- for super_vtsym, gp_vtsym in itertools.pairwise(self.superclass_map[vtsym]):
|
|
|
+ for super_vtsym, gp_vtsym in itertools.pairwise([vtsym, *self.superclass_map[vtsym]]):
|
|
|
vt_first, *_ = self.get_vfptrs_from_table(gp_vtsym)
|
|
|
if len(vt_first) < vtidx:
|
|
|
return super_vtsym
|