ebehner

see also the sample of Issue #34

Additionally: In missing_case_finder.py line 216, two case candidates can have the same constant. At the moment, we add the first that fits. However, this may not be the best solution....

/cib

I understand the problem and know where it comes from. An object of type `Condition` can only have the operations `==`, `!=`, `=` all signed and unsigned. Your constructed condition...

I guess I found the problem, at least for some of the samples, I did not check all :wink: We build the identity graph and then remove edges such that...

Issue #388 only solves some of the problems mentioned in this Issue. It does not address https://github.com/fkie-cad/dewolf/issues/135#issuecomment-1413464989

I guess this is a problem of expression propagation memory, but I am not sure. I try to explain where the problem comes from: Consider the following cfg (Before Expression...

fix in expression propagation, should be part of expression-propagation memory

/cib

/cib