fkie-cad dewolf issues - Githubissues

fkie-cad / dewolf

A research decompiler implemented as a Binary Ninja plugin.

GNU Lesser General Public License v2.1

162 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

SwitchExtractor Improvement

#424 ebehner closed 5 days ago
0
Refactoring switch node handler

#423 ebehner closed 2 days ago
0
[ZeroDivisionError@constant_folding.py:98] ZeroDivisionError: integer division or modulo by zero

#422 github-actions[bot] opened 1 week ago
0
[ZeroDivisionError@constant_folding.py:98] ZeroDivisionError: integer division or modulo by zero

#421 bugfinder-bot opened 1 week ago
2
[ctypes.ArgumentError@_binaryninjacore.py:18869] ctypes.ArgumentError: argument 2: TypeError: wrong type

#420 github-actions[bot] opened 1 week ago
0
[ctypes.ArgumentError@_binaryninjacore.py:18869] ctypes.ArgumentError: argument 2: TypeError: wrong type

#419 bugfinder-bot opened 1 week ago
2
Initial struct support

#418 NeoQuix opened 2 weeks ago
2
Explicit hash/eq for dataflow objects

#417 rihi closed 1 week ago
0
Revive: Fix Hungarian Notation

#416 NeoQuix closed 1 week ago
2
[Lifter] Represent BNinja void correctly

#415 github-actions[bot] closed 4 days ago
2
Remove dead code in type propagation

#414 rihi closed 2 days ago
0
[ValueError@identity_elimination.py:278] ValueError: There are at least two definitions in the identity group var_58#0 = var_58#0 + (&(var_58#0)), var_58#0.

#413 github-actions[bot] closed 3 days ago
1
Fix support for Binary Ninja 3.5 by not requiring SymbolicFunctionSymbol

#412 blattm closed 1 month ago
0
Add modulo constant folding

#411 rihi closed 1 week ago
0
[Lifter] Fix pointer size in globals.py

#410 NeoQuix closed 2 months ago
0
[ValueError@interferencegraph.py:62] ValueError: The given set of variables is not an independent set. At least two variables interfere!

#409 github-actions[bot] closed 1 month ago
0
Deep copy of ast nodes

#408 ebehner closed 1 week ago
0
[Restructuring] Resolve unresolved reaching conditions

#407 github-actions[bot] closed 2 days ago
1
Implement conditional out of SSA

#406 rihi closed 1 week ago
0
[Lifter] Represent BNinja void correctly

#405 NeoQuix closed 4 days ago
2
[Backend] Fix C-like printing

#404 NeoQuix opened 3 months ago
1
Fix ordering of inserted common subexpressions

#403 rihi closed 2 months ago
0
Fix missing definitions with global variables

#402 rihi closed 3 months ago
0
Fix Global Variables BNinja 4.0

#401 NeoQuix closed 3 months ago
4
[Expression Propagation] Propagating global variables

#400 fnhartmann opened 3 months ago
0
[Array Access Detection] Array access not detected properly

#399 fnhartmann opened 3 months ago
0
[CSE] Adjust tresholds for elimination

#398 fnhartmann opened 3 months ago
0
[Lifter] Addresses representation in the decompiled code

#397 github-actions[bot] closed 2 months ago
0
[CAR] Improve Finding Missing Cases in Conditions

#396 ebehner closed 3 months ago
1
Change automatic release to not push to main

#395 rihi closed 3 months ago
0
[Condition Based Refinement] Runtime Improvements

#394 github-actions[bot] closed 2 months ago
0
[Condition Based Refinement] Runtime Improvements

#393 ebehner closed 2 months ago
2
Implement automatic release action

#392 rihi closed 3 months ago
2
Improve error handling of decompilation tasks

#391 rihi closed 2 months ago
0
[ValueError@identity_elimination.py:278] ValueError: There are at least two definitions in the identity group var_58#0 = var_58#0 + (&(var_58#0)), var_58#0.

#390 bugfinder-bot closed 3 days ago
2
[ValueError@identity_elimination.py:226] ValueError: At least two variables in the identity group {eax_1#5 (type: char * aliased: False), eax_1#7 (type: char * aliased: False), ebx#0 (type: char * aliased: False), ebx#2 (type: char * aliased: False), eax_1#4 (type: char * aliased: False)} have out degree zero, namely eax_1#5 and eax_1#4, i.e., these set of vertices is not an identity group

#389 github-actions[bot] closed 4 months ago
1
[ValueError@identity_elimination.py:226] ValueError: At least two variables in the identity group {eax_1#5 (type: char * aliased: False), eax_1#7 (type: char * aliased: False), ebx#0 (type: char * aliased: False), ebx#2 (type: char * aliased: False), eax_1#4 (type: char * aliased: False)} have out degree zero, namely eax_1#5 and eax_1#4, i.e., these set of vertices is not an identity group

#388 bugfinder-bot closed 4 months ago
2
[Types] Create function pointer type

#387 github-actions[bot] opened 4 months ago
0
"These set of vertices is not an identity group"

#386 19h closed 4 months ago
2
AttributeError: 'NoneType' object has no attribute 'subexpressions'

#385 19h opened 4 months ago
2
consider pushing a new release?

#384 psifertex closed 3 months ago
3
Fix: Lifiting/Printing of global variables

#383 NeoQuix closed 3 months ago
4
Improve expression propagation by removing redundant Phi functions

#382 rihi closed 4 months ago
1
Black update

#381 fnhartmann closed 5 months ago
0
Improve performance of common subexpression elimination and parallel testing

#380 rihi closed 4 months ago
1
Simplify branches with true or false conditions

#379 github-actions[bot] opened 5 months ago
2
ModuleNotFoundError: No module named 'simplifier' when running decompile.py in command line

#378 yangzao closed 5 months ago
2
[Missing Definitions] definitions insertion order is not deterministic

#377 github-actions[bot] closed 5 months ago
0
Force Utf-8 encoding throughout code

#376 github-actions[bot] closed 6 months ago
0
Improve else-if chaining

#375 github-actions[bot] closed 5 months ago
0