Use IDA pro export C source code(Ghidra may create a very deep nesty if-else)

Simply edit c source, with klee.

Then use klee to reverse

Original writeup (https://gist.github.com/swt02026/4dc7984f51f3d6c2de2da2893a3c8b45).