Peter LaFosse
Peter LaFosse
I know this is rather old but do you happen to have the binary associated with this? The provided tar.gz doesn't look to have the binary in question.
BNDB Shared internally `cascade blueprint lantern mosaic` has the following conditional at: `100002f37`
Looks like the demorgan's variant of this case is still not handled `180022bbc` In the `unicorn chess taco rainbow` binary
So to clarify: The original equation `if ((((rax_69 == 0x8007007a || rax_69 == 0x80020013) && rax_55 s>= 0) || (rax_69 != 0x8007007a && rax_69 != 0x80020013)) && rdi s< 0)`...
Another variant from the `unicorn chess taco rainbow` binary: `18000c304 if ((*(this + 0x2940) == 0 && result_5 s>= 0 && i != 0) || (*(this + 0x2940) != 0...
Simliarly from the same binary: ``` 18000c304 if ((i_1 u>= r13_1 || result_4 s>= 0) && i_1 u< r13_1) ``` Substitute the following ``` A = i_1 u>= r13_1 B...
@uniquadev I wasn't familiar with that algorithm until you mentioned it. That looks very interesting, thanks for the tip! We do have some additional constraints that we need to deal...
This is a bug in the libc type library. The library name listed in the binary needs to match one of the `alternate_names` in the type library. This binary however...
Any chance you can share this binary I wasn't able to repro.
Any chance you can share the binary or what the MLILSSA looks like?