doc
doc copied to clipboard
decomp
Design documents related to the decompilation pipeline.
N. Nethercote and J. Seward, *Valgrind: a framework for heavyweight dynamic binary instrumentation,* in ACM Sigplan notices, vol. 42, pp. 89–100, ACM, 2007. http://www1.cs.columbia.edu/~junfeng/08fa-e6998/sched/readings/valgrind.pdf
M. J. Van Emmerik, Static single assignment for decompilation. University of Queensland, 2007. http://www.backerstreet.com/decompiler/vanEmmerik_ssa.pdf
C. Cifuentes, M. Van Emmerik, N. Ramsey, and B. Lewis, *Experience in the design, implementation and use of a retargetable static binary translation framework,* 2002. https://www.researchgate.net/profile/Brian_Lewis6/publication/37629459_Experience_in_the_Design_Implementation_and_Use_of_a_Retargetable_Static_Binary_Translation_Framewo/links/0c9605294e76c8c518000000/
C. Cifuentes, M. Van Emmerik, N. Ramsey, and B. Lewis, *The university of queensland binary translator (uqbt) framework,* The University of Queensland, Sun Microsystems, Inc, 2001. https://www.researchgate.net/profile/Brian_Lewis6/publication/239665973_The_university_of_queensland_binary_translator_uqbt_framework/links/00b7d534736fd6fbd6000000.pdf
D. Ung and C. Cifuentes, *Machine-adaptable dynamic binary translation,* in ACM SIGPLAN Notices, vol. 35, pp. 41–51, Citeseer, 2000. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.3981&rep=rep1&type=pdf
C. Cifuentes, M. Van Emmerik, and N. Ramsey, *The design of a resourceable and retargetable binary translator,* in Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), pp. 280–291, IEEE,...
C. Click and M. Paleczny, *A simple graph-based intermediate representation,* ACM Sigplan Notices, vol. 30, no. 3, pp. 35–49, 1995. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.4679&rep=rep1&type=pdf
This is a *draft* of the [report](https://github.com/decomp/doc/tree/master/report/control_flow_analysis) structure. 0. [x] Abstract 1. [x] Introduction 1. [x] Project Aim and Objectives 2. [x] Project Thesis 3. [x] Project Deliverables 2. [x]...
E. Moretti, G. Chanteperdrix and A. Osorio, *New algorithms for control-flow graph structuring*, 2001.
M. H. Williams and H. Ossher, *Conversion of unstructured flow diagrams to structured form*, 1978. https://academic.oup.com/comjnl/article-pdf/21/2/161/1291112/21-2-161.pdf