TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley Abstract - David Brumley - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types		TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Download Document from Source Website File Size: 1,36 MB Share Document on Facebook

	Toy decompiler for x86-64 written in Python Dennis Yurichev April 2016 – December 2016 Contents 1 DocID: 1sQ27 - View Document
	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract DocID: 1qMhX - View Document
	LNCSBAP: A Binary Analysis Platform DocID: 1pzEl - View Document
	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ DocID: 1pgqn - View Document
	Master Thesis in Software Engineering Thesis no: MSE-2002:17 JuneDesigning an object-oriented decompiler DocID: 1mLu6 - View Document