doc icon indicating copy to clipboard operation
doc copied to clipboard

Design documents related to the decompilation pipeline.

Results 38 doc issues
Sort by recently updated
recently updated
newest added

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...

review
binary lifting

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

review
binary lifting

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,...

review
binary lifting

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....

review
binary lifting

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

review
binary lifting

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

review
binary lifting

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

review
binary lifting

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

review
binary lifting

N. Hasabnis, *Infrastructure for architecture-independent binary analysis and transformation,* 2011. https://www3.cs.stonybrook.edu/~nhasabni/Files/RPE.pdf

review
binary lifting

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...

review
binary lifting