Issues

• Implement Ghidra Front-End

  feature-request
  fkie-cad/dewolf#459 · Filter by author steffenenders opened on Jul 10, 2026
  2

• Implement Out-of-SSA Algorithm (Boissinot et al., 2008)

  feature-request
  fkie-cad/dewolf#456 · Filter by author ts501ak opened on Oct 23, 2025
  2

• Improve Conditional Out-of-SSA

  feature-request
  fkie-cad/dewolf#452 · Filter by author JannisIThink opened on Aug 11, 2025
  2

• Implement Sreedhar Out-of-SSA

  feature-request
  fkie-cad/dewolf#450 · Filter by author steffenenders opened on Jun 4, 2025
  2

• [AttributeError@globals.py:294] AttributeError: 'NoneType' object has no attribute 'members'

  bugbugfinder
  fkie-cad/dewolf#439 · Filter by author bugfinder-bot opened on Sep 12, 2024
  3

• MakeCExpressionGenerator flags configurable

  feature-request
  fkie-cad/dewolf#436 · Filter by author blattm opened on Aug 22, 2024

• [UnicodeDecodeError@_binaryninjacore.py:36] UnicodeDecodeError: 'utf-8' codec can't decode byte 0x85 in position 0: invalid start byte

  bugbugfinderupstream
  fkie-cad/dewolf#431 · Filter by author bugfinder-bot opened on Aug 14, 2024
  2

• [ZeroDivisionError@constant_folding.py:98] ZeroDivisionError: integer division or modulo by zero

  bugbugfinder
  fkie-cad/dewolf#421 · Filter by author bugfinder-bot opened on Jun 19, 2024
  2

• [Backend] Fix C-like printing

  feature-request
  fkie-cad/dewolf#404 · Filter by author NeoQuix opened on Mar 26, 2024
  1

• [Expression Propagation] Propagating global variables

  feature-request
  fkie-cad/dewolf#400 · Filter by author fnhartmann opened on Mar 14, 2024

• [Array Access Detection] Array access not detected properly

  feature-request
  fkie-cad/dewolf#399 · Filter by author fnhartmann opened on Mar 14, 2024

• [CSE] Adjust tresholds for elimination

  feature-request
  fkie-cad/dewolf#398 · Filter by author fnhartmann opened on Mar 14, 2024

• AttributeError: 'NoneType' object has no attribute 'subexpressions'

  bugpriority-high
  fkie-cad/dewolf#385 · Filter by author 19h opened on Feb 19, 2024
  2

• [Bugfinder] Add integration test for bugfinder script

  feature-request
  fkie-cad/dewolf#366 · Filter by author mm4rks opened on Nov 23, 2023
  2

  

• [TypeError@ast_nodes.py:283] TypeError: 'NoneType' object is not iterable

  bugbugfinderduplicate
  fkie-cad/dewolf#337 · Filter by author bugfinder-bot opened on Sep 17, 2023
  4

• [AttributeError@compiler_idiom_handling.py:92] AttributeError: 'Branch' object has no attribute 'destination'

  bugbugfinder
  fkie-cad/dewolf#308 · Filter by author bugfinder-bot opened on Aug 7, 2023
  2

• [ValueError@maps.py:22] ValueError: Program is not in SSA-Form. Variable var_10b0#1 is defined twice, once in instruction var_10b0#1 = arg2#0 and once in instruction var_10b0#1 = ϕ(var_10b0#0,var_10b0#16)

  bugbugfinder
  fkie-cad/dewolf#293 · Filter by author bugfinder-bot opened on Jul 26, 2023

• [ValueError@missing_definitions.py:157] ValueError: Every non-aliased variable should be defined, but variable arg1#1 has no definition.

  bugbugfinderupstream
  fkie-cad/dewolf#290 · Filter by author bugfinder-bot opened on Jul 19, 2023
  1

• [Call propagation]

  bugpriority-high
  fkie-cad/dewolf#255 · Filter by author mari-mari opened on Jun 16, 2023
  

• [Phi-Pre] There are variables in the phi-function that are not live at any predecessor block

  bugpriority-high
  fkie-cad/dewolf#219 · Filter by author NeoQuix opened on Apr 6, 2023
  10

• [Switch variable detection] No switch variable candidate found

  bugpriority-high
  fkie-cad/dewolf#217 · Filter by author NeoQuix opened on Apr 6, 2023
  5

  

• [Missing definitions] Every non-aliased variable should be defined, but variable has no definition.

  blockedbugpriority-highupstream
  fkie-cad/dewolf#215 · Filter by author NeoQuix opened on Apr 6, 2023
  4

  

• [Lifter] Couldn't find target for type

  bugpriority-highupstream
  fkie-cad/dewolf#214 · Filter by author NeoQuix opened on Apr 6, 2023
  4

  

• [Pattern independent restructuring] 'NoneType' object is not iterable

  bugpriority-high
  fkie-cad/dewolf#213 · Filter by author NeoQuix opened on Apr 6, 2023
  4

• [out-of-ssa-translation] The given set of variables is not an independent set

  bugpriority-high
  fkie-cad/dewolf#192 · Filter by author NeoQuix opened on Mar 2, 2023
  6