From ba2a67a998899855797ff4f160e9542d08a1e5ab Mon Sep 17 00:00:00 2001
From: Manuel Blatt <45859907+blattm@users.noreply.github.com>
Date: Thu, 16 May 2024 15:51:29 +0200
Subject: [PATCH] Fix support for Binary Ninja 3.5 by not requiring
 SymbolicFunctionSymbol (#412)

---
 decompiler/frontend/binaryninja/handlers/symbols.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/decompiler/frontend/binaryninja/handlers/symbols.py b/decompiler/frontend/binaryninja/handlers/symbols.py
index 5d04bf579..c5ddff056 100644
--- a/decompiler/frontend/binaryninja/handlers/symbols.py
+++ b/decompiler/frontend/binaryninja/handlers/symbols.py
@@ -26,8 +26,12 @@ def __init__(self, lifter: ObserverLifter):
             SymbolType.ImportedDataSymbol: Symbol,
             SymbolType.ExternalSymbol: ImportedFunctionSymbol,
             SymbolType.LibraryFunctionSymbol: Symbol,
-            SymbolType.SymbolicFunctionSymbol: FunctionSymbol,
         }
+        # SymbolicFunctionSymbol is not available for Binary Ninja < 4
+        try:
+            self.SYMBOL_MAP[SymbolType.SymbolicFunctionSymbol] = FunctionSymbol
+        except AttributeError:
+            pass
 
     def register(self):
         """Register the handler at the parent lifter."""