docs: def get_addr_of_native_method(self, soot_method):
          """
          Get address of the implementation from a native declared Java function.
  
          :param soot_method: Method descriptor of a native declared function.
          :return: CLE address of the given method.
          """
          for name, symbol in self.native_symbols.items():
              if soot_method.matches_with_native_name(native_method=name):
                  l.debug("Found native symbol '%s' @ %x matching Soot method '%s'",
                          name, symbol.rebased_addr, soot_method)
                  return symbol.rebased_addr
  
          native_symbols = "\n".join(self.native_symbols.keys())
          l.warning("No native method found that matches the Soot method '%s'. "
                    "Skipping statement.", soot_method.name)
          l.debug("Available symbols (prefix + encoded class path + encoded method "
                  "name):\n%s", native_symbols)
          return None