I would like to know if there are disassemblers based on a symbolic analysis, I'm beginner in RE, but I think that a disassembler based on symbolic techniques can be very interesting and could disassemble most of the obfuscated binaries..

1 Answer 1


Well, most of the disassembler based on 'symbolic execution' are kind of symbolic. The problem is that you need to modelize so much from the environment (system calls answers, interaction with other programs, ...) that most of them also use concrete execution when the program venture outside of their model.

But, you should look for symbolic execution tools such as angr, miasm and many others.

  • Thank you so much for your answer I'm looking them !
    – n4sm
    Mar 7, 2019 at 10:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.