angr / angr/angr

megatest: DECOMPILER_FAIL-TypeError: '<' not supported between instances of 'NotImplementedType' and 'int'

Open
#4,271 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Python
Stars
9.1k
Forks
1.2k
Avg merge
16h 20m
Merged PRs (30d)
169

Description

### Description

```
### EVENT: DECOMPILER_FAIL
### Package:
### Binary: samples/windows/drivers/mausbip.sys
### Function: sub_1c001029c
### Execption:
Traceback (most recent call last):
File "/megatest/analyze_binary.py", line 27, in catcher
yield
File "/megatest/analyze_binary.py", line 141, in _doit_core
decompilation = elf.analyses.Decompiler(func, cfg=cfg)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/analysis.py", line 216, in __call__
r = w(*args, **kwargs)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/analysis.py", line 201, in wrapper
oself.__init__(*args, **kwargs)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/decompiler.py", line 95, in __init__
self._decompile()
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/decompiler.py", line 242, in _decompile
codegen = self.project.analyses.StructuredCodeGenerator(
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/analysis.py", line 216, in __call__
r = w(*args, **kwargs)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/analysis.py", line 201, in wrapper
oself.__init__(*args, **kwargs)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2342, in __init__
self._analyze()
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2381, in _analyze
obj = self._handle(self._sequence)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2875, in _handle
converted = handler(node, lvalue=lvalue)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2887, in _handle_Sequence
lines.append(self._handle(node, is_expr=False))
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2875, in _handle
converted = handler(node, lvalue=lvalue)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 3014, in _handle_AILBlock
cstmt = self._handle(stmt, is_expr=False)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2875, in _handle
converted = handler(node, lvalue=lvalue)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 3055, in _handle_Stmt_Assignment
csrc = self._handle(stmt.src, lvalue=False)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2875, in _handle
converted = handler(node, lvalue=lvalue)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 3189, in _handle_Expr_Load
return self._access_constant_offset(CUnaryOp("Reference", cvar, codegen=self), offset, ty, False, negotiate)
File "/megatest/venv/lib/python3.10/site-packages/angr/analyses/decompiler/structured_codegen/c.py", line 2611, in _access_constant_offset
and base_type.size < data_type.size
TypeError: '<' not supported between instances of 'NotImplementedType' and 'int'
```

### Steps to reproduce the bug

_No response_

### Environment

angr environment report
=============================
Date: 2023-11-07 00:59:29.806968
Running in virtual environment at /megatest/venv
Platform: linux-x86_64
Python version: 3.10.12 (main, Jun 11 2023, 05:26:28) [GCC 11.4.0]
######## angr #########
Python found it in /megatest/venv/lib/python3.10/site-packages/angr
Pip version angr 9.2.76.dev0
Couldn't find git info
######## ailment #########
Python found it in /megatest/venv/lib/python3.10/site-packages/ailment
Pip version ailment 9.2.76.dev0
Couldn't find git info
######## cle #########
Python found it in /megatest/venv/lib/python3.10/site-packages/cle
Pip version cle 9.2.76.dev0
Couldn't find git info
######## pyvex #########
Python found it in /megatest/venv/lib/python3.10/site-packages/pyvex
Pip version pyvex 9.2.76.dev0
Couldn't find git info
######## claripy #########
Python found it in /megatest/venv/lib/python3.10/site-packages/claripy
Pip version claripy 9.2.76.dev0
Couldn't find git info
######## archinfo #########
Python found it in /megatest/venv/lib/python3.10/site-packages/archinfo
Pip version archinfo 9.2.76.dev0
Couldn't find git info
######## z3 #########
Python found it in /megatest/venv/lib/python3.10/site-packages/z3
Pip version z3-solver 4.10.2.0
Couldn't find git info
######## unicorn #########
Python found it in /megatest/venv/lib/python3.10/site-packages/unicorn
Pip version unicorn 2.0.1.post1
Couldn't find git info
######### Native Module Info ##########
angr:
unicorn:
pyvex: .FFILibrary object at 0x7f6dfaea52d0>
z3:

### Additional context

_No response_

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.