J. B. Scott, *Automated analysis of arm binaries using the low-level virtual machine compiler framework,* 2011. https://scholar.afit.edu/cgi/viewcontent.cgi?article=2430&context=etd