-
Book Overview & Buying
-
Table Of Contents
Ghidra Software Reverse-Engineering for Beginners - Second Edition
By :
In this chapter, you learned about some advanced reverse-engineering topics, that is, symbolic execution, SMT solvers, and concolic execution.
You learned how to perform symbolic execution by writing some simple code using Miasm that symbolically executed a basic block of a hello world program. You also learned about the Z3 theorem solver by performing two simple experiments.
Finally, you learned how to incorporate symbolic and concolic execution when using Ghidra by extending it with a plugin. You also learned how to convert from PCode into an LLVM intermediate representation, which can be useful for performing some advanced reverse-engineering tasks.
In next chapter, we will cover the Ghidra debugging tool and outline various debugging strategies. We will learn different debugging modes, including remote and kernel debugging, for analyzing complex code execution scenarios.