Technical requirements
The technical requirements for this chapter are as follows:
- Microsoft Z3 theorem prover: https://github.com/Z3Prover/z3.
- Miasm reverse engineering framework: https://github.com/cea-sec/miasm.
This book's GitHub repository, which contains all the necessary code for this chapter: https://github.com/PacktPublishing/Ghidra-Software-Reverse-Engineering-for-Beginners/tree/master/Chapter14
Check out the following link to see the Code in Action video: https://bit.ly/2K1SmGd