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

S. Dinesh, RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. PhD thesis, Purdue University Graduate School, 2019. https://hammer.figshare.com/articles/Retrowrite_Statically_Instrumenting_COTS_Binaries_for_Fuzzing_and_Sanitization/8049752/files/15004610.pdf

review
binary lifting

E. Schulte, J. Dorn, A. Flores-Montoya, A. Ballman, and T. Johnson, *Gtirb: Intermediate representation for binaries,* arXiv preprint arXiv:1907.02859, 2019. https://arxiv.org/pdf/1907.02859.pdf

review
binary lifting

E. Bauman, Z. Lin, and K. W. Hamlen, *Superset disassembly: Statically rewriting x86 binaries without heuristics.,* in NDSS, 2018. https://personal.utdallas.edu/~hamlen/bauman18ndss.pdf

review
binary lifting

R. van Tonder and C. Le Goues, *Cross-architecture lifter synthesis,* in International Conference on Software Engineering and Formal Methods, pp. 155–170, Springer, 2018. https://par.nsf.gov/servlets/purl/10082069

review
binary lifting

S. Kim, M. Faerevaag, M. Jung, S. Jung, D. Oh, J. Lee, and S. K. Cha, *Testing intermediate representations for binary analysis,* in Proceedings of the 32nd IEEE/ACM International Conference...

review
binary lifting

R. Qiao, Accurate Recovery of Functions in COTS Binaries. PhD thesis, The Graduate School, Stony Brook University: Stony Brook, NY., 2017. https://ir.stonybrook.edu/xmlui/bitstream/handle/11401/77248/Qiao_grad.sunysb_0771E_13374.pdf?sequence=1;Accurate

review
binary lifting

Y. Shoshitaishvili, R. Wang, C. Salls, N. Stephens, M. Polino, A. Dutcher, J. Grosen, S. Feng, C. Hauser, C. Kruegel, et al., *Sok:(state of) the art of war: Offensive techniques...

review
binary lifting

E. Schulte, M. McDougall, and D. Melski, *Software transformation: Applications, tools, challenges, and program representation,* 2016. https://www.cs.unm.edu/~eschulte/data/feast-2016-software-transformation.pdf

review
binary lifting

N. Hasabnis and R. Sekar, *Extracting instruction semantics via symbolic execution of code generators,* in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp....

review
binary lifting

J. Křoustek and F. Pokornỳ, *Reconstruction of instruction idioms in a retargetable decompiler,* in 2013 Federated Conference on Computer Science and Information Systems, pp. 1519–1526, IEEE, 2013. https://annals-csis.org/Volume_1/pliks/153.pdf

review
binary lifting