Finally got some time to try @MiasmRe to solve a crackme. I wrote a blog on how to use its Dynamic Symbolic Execution engine to automatically find and solve constraints since there are not many blogs on it sudhackar.github.io/blog/learning-…

@_sudhackar @MiasmRe Symbolic execution is very interesting, I read "practical binary analysis" and Triton is interesting as well. The question is: Is it useful outside of CTFs and labs.. I'm not an expert on this topic but I only see it in labs and CTFs 😕