A Neural-based Program Decompiler

Συγγραφείς: Fu, Cheng, Chen, Huili, Liu, Haolan, Chen, Xinyun, Tian, Yuandong, Koushanfar, Farinaz, Zhao, Jishen

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1906.12029

Two-Way-Compiler: Additional data saving for generating the original source code of a binary program

Συγγραφείς: Obermann, D., Borcsok, J.

Πηγή: ARCS 2012 ARCS Workshops (ARCS), 2012. :1-4 Feb, 2012

Relation: 2012 International Conference on Architecture of Computing Systems (ARCS)

DecompileBench: A Comprehensive Benchmark for Evaluating Decompilers in Real-World Scenarios

Συγγραφείς: Gao, Zeyu, Cui, Yuxin, Wang, Hao, Qin, Siliang, Wang, Yuanda, Zhang, Bolun, Zhang, Chao

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.11340

Fast, Fine-Grained Equivalence Checking for Neural Decompilers

Συγγραφείς: Dramko, Luke, Goues, Claire Le, Schwartz, Edward J.

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Cryptography and Security, Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2501.04811

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly

Συγγραφείς: Armengol-Estapé, Jordi, Woodruff, Jackson, Cummins, Chris, O'Boyle, Michael F. P.

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2305.12520

An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy

Συγγραφείς: Sirlanci, Melih, Yagemann, Carter, Lin, Zhiqiang

Πηγή: Proceedings of the 20th ACM Asia Conference on Computer and Communications Security. :1707-1723

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3708821.3733877

Metrics for Measuring the Effectiveness of Decompilers and Obfuscators

Συγγραφείς: Naeem, Nomair A., Batchelder, Michael, Hendren, Laurie

Πηγή: 15th IEEE International Conference on Program Comprehension (ICPC '07) Program Comprehension, 2007. ICPC '07. 15th IEEE International Conference on. :253-258 Jun, 2007

Relation: IEEE International Conference on Program Comprehension

"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning

Συγγραφείς: Pal, Kuntal Kumar, Bajaj, Ati Priya, Banerjee, Pratyay, Dutcher, Audrey, Nakamura, Mutsumi, Basque, Zion Leonahenahe, Gupta, Himanshu, Sawant, Saurabh Arjun, Anantheswaran, Ujjwala, Shoshitaishvili, Yan, Doupe, Adam, Baral, Chitta, Wang, Ruoyu

Πηγή: 2024 IEEE Symposium on Security and Privacy (SP) SP Symposium on Security and Privacy (SP), 2024 IEEE. :4069-4087 May, 2024

Relation: 2024 IEEE Symposium on Security and Privacy (SP)

Augmenting Decompiler Output with Learned Variable Names and Types

Συγγραφείς: Chen, Qibin, Lacomis, Jeremy, Schwartz, Edward J., Goues, Claire Le, Neubig, Graham, Vasilescu, Bogdan

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2108.06363

Improving type information inferred by decompilers with supervised machine learning

Συγγραφείς: Escalada, Javier, Scully, Ted, Ortin, Francisco

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages, I.5.1, I.2.6, D.3.4, D.2.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2101.08116

A refined decompiler to generate C code with high readability.

Συγγραφείς: Chen, Gengbiao, Qi, Zhengwei, Huang, Shiqiu, Ni, Kangqi, Zheng, Yudi, Binder, Walter, Guan, Haibing

Πηγή: Software: Practice & Experience; Nov2013, Vol. 43 Issue 11, p1337-1358, 22p

Θεματικοί όροι: Decompilers (Computer programs), Computer security, IDA (Computer system), Reverse engineering, Source code, Data flow computing, Computer systems

DECOMPILING JAVA BYTECODE: FROM COMMON JAVA TO NEWEST JDK8 FEATURES, FROM OBSOLETE DECOMPILERS TO CUTTING EDGE TECHNOLOGY.

Συγγραφείς: KOSTELANSKY, Jozef, DEDERA, Lubomir

Πηγή: Science & Military Journal; 2018, Vol. 13 Issue 1, p23-30, 8p

Θεματικοί όροι: Java programming language, Obsolete digital media, Decompilers (Computer programs)

Truss Parametrization of Topology Optimization Results with Curve Skeletons and Meta Balls.

Συγγραφείς: Denk, M., Rother, K., Paetzold, K.

Πηγή: Proceedings of the Design Society; May2022, Vol. 2, p363-372, 10p

Θεματικοί όροι: Truss bridges, Polygons, Reverse engineering, Computer-aided design, Decompilers (Computer programs)

Research on External Flow Field of a Car Based on Reverse Engineering.

Συγγραφείς: Shushan Hu¹ 47506876@qq.com, Ronge Liu¹ liuronge@163.com

Πηγή: AIP Conference Proceedings. 2018, Vol. 1967 Issue 1, p1-8. 8p.

Θεματικοί όροι: *Reverse engineering, *Decompilers (Computer programs), *Automobile bodies, *Automotive engineering, *Aerodynamics

Walking The Last Mile: Studying Decompiler Output Correction in Practice

Συγγραφείς: Wiedemeier, Joshua, Klancher, Simon, Flores, Joel, Zheng, Max, Park, Jaehyun, Cha, Sang Kil, Jee, Kangkook

Πηγή: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :2489-2503

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3719027.3765040

Decompilation of Java bytecode to Prolog by partial evaluation

Συγγραφείς: Gómez-Zamalloa, Miguel¹ mzamalloa@clip.dia.fi.upm.es, Albert, Elvira¹ elvira@fdi.ucm.es, Puebla, Germán² german@fi.upm.es

Πηγή: Information & Software Technology. Oct2009, Vol. 51 Issue 10, p1409-1427. 19p.

Θεματικοί όροι: *Prolog (Computer program language), Decompilers (Computer programs), Java programming language, Source code, Structured programming, Interpreters (Computer programs), High-level programming languages, Modular programming, Logic programming

Java Decompiler Diversity and its Application to Meta-decompilation

Συγγραφείς: Harrand, Nicolas, Soto-Valero, César, Monperrus, Martin, Baudry, Benoit

Πηγή: Journal of Systems and Software, 2020

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2005.11315

MadMax: Analyzing the Out-of-Gas World of Smart Contracts.

Συγγραφείς: Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, Smaragdakis, Yannis

Πηγή: Communications of the ACM; Oct2020, Vol. 63 Issue 10, p87-95, 9p, 7 Diagrams

Θεματικοί όροι: Electronic contracts, Computer security vulnerabilities, Computer crime prevention, Blockchains, Decompilers (Computer programs)

Synthesizing structured CAD models with equality saturation and inverse transformations

Συγγραφείς: Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R., Darulova, Eva, Grossman, Dan, Tatlock, Zachary

Πηγή: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. :31-44

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3385412.3386012

Revisiting Deep Learning for Variable Type Recovery

Συγγραφείς: Cao, Kevin, Leach, Kevin

Πηγή: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC) ICPC Program Comprehension (ICPC), 2023 IEEE/ACM 31st International Conference on. :275-279 May, 2023

Relation: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC)