doc
                                
                                
                                
                                    doc copied to clipboard
                            
                            
                            
                        Design documents related to the decompilation pipeline.
R. Leißa, M. Köster, and S. Hack, *A graph-based higher-order intermediate representation,* in Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pp. 202–212, IEEE Computer...
J. Kroustek, F. Pokornỳ, and D. Kolár, *A new approach to instruction-idioms detection in a retargetable decompiler.,* Comput. Sci. Inf. Syst., vol. 11, no. 4, pp. 1337–1359, 2014. http://www.doiserbia.nb.rs/img/doi/1820-0214/2014/1820-02141400076K.pdf
Y.-H. Lyu, D.-Y. Hong, T.-Y. Wu, J.-J. Wu, W.-C. Hsu, P. Liu, and P.-C. Yew, *Dbill: an efficient and retargetable dynamic binary instrumentation framework using llvm backend,* Acm Sigplan Notices,...
R. Wartell, Y. Zhou, K. W. Hamlen, and M. Kantarcioglu, *Shingled graph disassembly: Finding the undecideable path,* in Pacific-Asia Conference on Knowledge Discovery and Data Mining, pp. 273–285, Springer, 2014....
C. Heitman and I. Arce, *Barf: A multiplatform open source binary analysis and reverse engineering framework,* in XX Congreso Argentino de Ciencias de la Computación (Buenos Aires, 2014), 2014. http://sedici.unlp.edu.ar/bitstream/handle/10915/42157/Documento_completo.pdf?sequence=1
R. Wartell, K. Hamlen, G. Gupta, M. Kantarcioglu, and Z. Lin, Rewriting x86 binaries without code producer cooperation. University of Texas at Dallas, 2012. https://personal.utdallas.edu/~kxh060100/wartell12thesis.pdf
D. Brumley, I. Jager, T. Avgerinos, and E. J. Schwartz, *Bap: A binary analysis platform,* in International Conference on Computer Aided Verification, pp. 463–469, Springer, 2011. https://link.springer.com/content/pdf/10.1007/978-3-642-22110-1_37.pdf
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
N. Hasabnis, *Infrastructure for architecture-independent binary analysis and transformation,* 2011. https://www3.cs.stonybrook.edu/~nhasabni/Files/RPE.pdf
D. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena, *Bitblaze: A new approach to computer security via...