Further reading
Please refer to the following links for more information on the topics that were covered in this chapter:
- An abstract interpretation-based deobfuscation plugin for Ghidra: https://www.msreverseengineering.com/blog/2019/4/17/an-abstract-interpretation-based-deobfuscation-plugin-for-ghidra
- A Survey of Symbolic Execution Techniques, Baldoni, R., Coppa, E., Cono D'Elia, D., et al., October 2016: https://ui.adsabs.harvard.edu/abs/2016arXiv161000502B/abstract
- A Survey of Satisfiability Modulo Theory, David Monniaux, January 2017: https://hal.archives-ouvertes.fr/hal-01332051/document