NeoQuix comments

Results 52 comments of


                                            NeoQuix

ValueError: At least two variables in an identity group have out degree zero

Notes on the problem itself: - uninitialized var_58 (type: char*) is not in the group of out-nodes(sinks), therefore the algorithm used to break phi nodes does not work as intended,...

ValueError: At least two variables in an identity group have out degree zero

Smaller Code which probably represents the same problem: ```C int f1(int argc){ char* g_1 = "dump global str1"; char* g_2 = "dump global str2"; char* ptr; if(argc){ g_1 = ptr;...

ValueError: At least two variables in an identity group have out degree zero

Note: All three functions in the binary have the same problem, but main behaves differently because of the return type. (Maybe other issue)

ValueError: At least two variables in an identity group have out degree zero

Many more binaries have the problem. I will not upload them all, but the log which shows what function has a problem. All binaries are part of the GNU core...

ValueError: At least two variables in an identity group have out degree zero

Updated log for Windows bins: [ValueError: At least two varia.log](https://github.com/fkie-cad/dewolf/files/11168951/ValueError.At.least.two.varia.log)

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

/cib

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

Note: The problem was already fixed with #150 by fixing the ssa labels on global variables. Most likely the ssa labels on other variables have a problem as well. There...

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

Also in `OslGetBootStatusData` in `winload.exe`

[MissingDefinitions] ValueError: list_op [] unknown type = list_op [] unknown type is not in list

Another binary with error in main: [x.zip](https://github.com/fkie-cad/dewolf/files/10868963/default.zip)

RuntimeError: did not expect to reach canary check this way in remove_stack_canary

All failed methods have a control flow where `__stack_chk_fail` will be called after `error(1,..)` in the cfg. This control flow is not correct, because with specific optimization levels (min binary;...