aemmitt-ns
aemmitt-ns
Hmm it looks like the -g option must not be working. What android version are you on? (I have also tested on pixel 4a)
looks great! let me know if that one thing works, otherwise ill merge as-is
i think i will move radius2 to radareorg after the next release. and ill actually rename it to radius2.
Just read the paper and yes based on this description ``` An alternative to whole-program symbolic execution is under-constrained symbolic execution [18, 42, 43], which directly executes an arbitrary function...
In contrast UC-KLEE automatically fills with unconstrained symbolic values. And it sounds like it does it in a cleverer way. radius2 has a `blank_state(addr)` which fills uninitialized mem with symbolic...
going to keep this issue open as a reminder to fix blank_state and hopefully do something more intelligent for unconstrained pointer derefs
thanks for bringing this to my attention! I have sort of fixed it! at least the frida iOS example works, though it can no longer suspend the target while radius2...
yeah the PAC stuff is a problem, i started implementing ESIL for arm64e instructions to simply clear the PAC bits but i was trying to make it generic and apparently...
wow this looks amazing! sorry i haven't been paying proper attention to this project. i've wanted to actually support MIPS for a while so this is fantastic. i am still...
cant wait to move MIPS from **"Supported" Architectures** to **Supported Architectures**!