From 495e2688e4a6e657602cbbbf7ba4161bc81b3a35 Mon Sep 17 00:00:00 2001 From: Manuel Blatt Date: Thu, 19 Oct 2023 12:45:57 +0200 Subject: [PATCH] missing part of 50a2abd --- decompiler/frontend/binaryninja/lifter.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/decompiler/frontend/binaryninja/lifter.py b/decompiler/frontend/binaryninja/lifter.py index e42761763..244df6ed4 100644 --- a/decompiler/frontend/binaryninja/lifter.py +++ b/decompiler/frontend/binaryninja/lifter.py @@ -6,7 +6,7 @@ from decompiler.frontend.lifter import ObserverLifter from decompiler.structures.pseudo import DataflowObject, Tag, UnknownExpression, UnknownType -from ...structures.pseudo.complextypes import ComplexTypeMap +from ...structures.pseudo.complextypes import ComplexTypeMap, UniqueNameProvider from .handlers import HANDLERS @@ -17,6 +17,7 @@ def __init__(self, no_bit_masks: bool = True, bv: BinaryView = None): self.no_bit_masks = no_bit_masks self.bv: BinaryView = bv self.complex_types: ComplexTypeMap = ComplexTypeMap() + self.unique_name_provider: UniqueNameProvider = UniqueNameProvider() for handler in HANDLERS: handler(self).register()