Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Decompilation Failure: NotImplementedError #5819

@tedanvosin

Description

@tedanvosin

Description

Angr fails to decompile the binary.

File "/Users/tedan/.pyenv/versions/3.10.18/bin/angr", line 7, in <module>
    sys.exit(main())
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/__main__.py", line 178, in main
    args.func(args)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/__main__.py", line 79, in decompile
    decompilation = decompile_functions(
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/decompiler/utils.py", line 1043, in decompile_functions
    proj.analyses.CompleteCallingConventions(recover_variables=True, analyze_callsites=True)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/analysis.py", line 266, in __call__
    r = w(*args, **kwargs)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/analysis.py", line 251, in wrapper
    oself.__init__(*args, **kwargs)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/complete_calling_conventions.py", line 126, in __init__
    self.work()
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/complete_calling_conventions.py", line 212, in work
    cc, proto, proto_libname, proto_guessed, _ = self._analyze_core(func_addr)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/complete_calling_conventions.py", line 399, in _analyze_core
    cc_analysis = self.project.analyses[CallingConventionAnalysis].prep(kb=self.kb)(
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/analysis.py", line 251, in wrapper
    oself.__init__(*args, **kwargs)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/calling_convention.py", line 146, in __init__
    self._analyze()
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/calling_convention.py", line 253, in _analyze
    facts = self.project.analyses.FunctionFactCollector(self._function, kb=self.kb)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/analysis.py", line 266, in __call__
    r = w(*args, **kwargs)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/analysis.py", line 251, in wrapper
    oself.__init__(*args, **kwargs)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/fact_collector.py", line 253, in __init__
    self._analyze()
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/fact_collector.py", line 259, in _analyze
    end_states = self._analyze_startpoint()
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/fact_collector.py", line 301, in _analyze_startpoint
    self._handle_function(state, node)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/analyses/calling_convention/fact_collector.py", line 351, in _handle_function
    arg_locs = func.calling_convention.arg_locs(func.prototype)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/calling_conventions.py", line 879, in arg_locs
    session = self.arg_session(prototype.returnty)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/calling_conventions.py", line 728, in arg_session
    if self.return_in_implicit_outparam(ret_ty):
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/calling_conventions.py", line 1677, in return_in_implicit_outparam
    return isinstance(self.return_val(ty), SimReferenceArgument)
  File "/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/calling_conventions.py", line 1663, in return_val
    raise NotImplementedError("Bug. Report to @rhelmot")
NotImplementedError: Bug. Report to @rhelmot

Steps to reproduce the bug

file.zip

Environment

angr environment report

Date: 2025-11-21 11:32:39.561048
!!! running in global environment. Are you sure? !!!
Platform: macosx-15.6-arm64
Python version: 3.10.18 (main, Aug 15 2025, 16:08:18) [Clang 17.0.0 (clang-1700.0.13.5)]
######## angr #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/init.py
Pip version 9.2.184
Couldn't find git info
######## archinfo #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/archinfo/init.py
Pip version 9.2.184
Couldn't find git info
######## claripy #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/claripy/init.py
Pip version 9.2.184
Couldn't find git info
######## cle #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/cle/init.py
Pip version 9.2.184
Couldn't find git info
######## pypcode #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/pypcode/init.py
Pip version 3.3.0
Couldn't find git info
######## pyvex #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/pyvex/init.py
Pip version 9.2.184
Couldn't find git info
######## unicorn #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/unicorn/init.py
Pip version 2.1.2
Couldn't find git info
######## z3 #########
Python found it in /Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/z3/init.py
Pip version 4.13.0.0
Couldn't find git info
######### Native Module Info ##########
angr: <CDLL '/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/angr/unicornlib.dylib', handle 6ffffd90 at 0x10e2464d0>
pyvex: <cffi.api._make_ffi_library..FFILibrary object at 0x1097afca0>
unicorn: imported but path finding raised a <class 'AttributeError'>: module 'unicorn.unicorn' has no attribute '_uc'
z3: <CDLL '/Users/tedan/.pyenv/versions/3.10.18/lib/python3.10/site-packages/z3/lib/libz3.dylib', handle 6fffd670 at 0x109408f40>

Additional context

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething is brokenneeds-triageIssue has yet to be looked at by a maintainer

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions