Search icon CANCEL
Arrow left icon
Explore Products
Best Sellers
New Releases
Books
Videos
Audiobooks
Learning Hub
Conferences
Free Learning
Arrow right icon
Arrow up icon
GO TO TOP
Ghidra Software Reverse Engineering for Beginners

You're reading from   Ghidra Software Reverse Engineering for Beginners Analyze, identify, and avoid malicious code and potential threats in your networks and systems

Arrow left icon
Product type Paperback
Published in Jan 2021
Publisher Packt
ISBN-13 9781800207974
Length 322 pages
Edition 1st Edition
Tools
Arrow right icon
Author (1):
Arrow left icon
A. P. David A. P. David
Author Profile Icon A. P. David
A. P. David
Arrow right icon
View More author details
Toc

Table of Contents (20) Chapters Close

Preface 1. Section 1: Introduction to Ghidra
2. Chapter 1: Getting Started with Ghidra FREE CHAPTER 3. Chapter 2: Automating RE Tasks with Ghidra Scripts 4. Chapter 3: Ghidra Debug Mode 5. Chapter 4: Using Ghidra Extensions 6. Section 2: Reverse Engineering
7. Chapter 5: Reversing Malware Using Ghidra 8. Chapter 6: Scripting Malware Analysis 9. Chapter 7: Using Ghidra Headless Analyzer 10. Chapter 8: Auditing Program Binaries 11. Chapter 9: Scripting Binary Audits 12. Section 3: Extending Ghidra
13. Chapter 10: Developing Ghidra Plugins 14. Chapter 11: Incorporating New Binary Formats 15. Chapter 12: Analyzing Processor Modules 16. Chapter 13: Contributing to the Ghidra Community 17. Chapter 14: Extending Ghidra for Advanced Reverse Engineering 18. Assessments 19. Other Books You May Enjoy

Using Ghidra for advanced reverse engineering

Ghidra has an intermediate language known as PCode. It makes Ghidra powerful because it is suitable for applying these kinds of techniques. As we mentioned in Chapter 9, Scripting Binary Audits, in the PCode versus assembly language section, the reason why PCode is more suitable for symbolic execution is because it offers more granularity than assembly. In fact, the side effects that take place in the assembly language, such as flag registers being modified during the execution of an instruction, doesn't happen in PCode because they are split into many instructions. This aspect of intermediate representations simplifies the task of creating and maintaining SMT formulas.

In the next section, you will learn how to extend Ghidra with Angr, a powerful binary analysis framework for implementing symbolic execution.

Adding symbolic execution capabilities to Ghidra with AngryGhidra

When looking for ways to perform symbolic execution...

lock icon The rest of the chapter is locked
Register for a free Packt account to unlock a world of extra content!
A free Packt account unlocks extra newsletters, articles, discounted offers, and much more. Start advancing your knowledge today.
Unlock this book and the full library FREE for 7 days
Get unlimited access to 7000+ expert-authored eBooks and videos courses covering every tech area you can think of
Renews at AU $24.99/month. Cancel anytime