ISSTA 2025
Wed 25 - Sat 28 June 2025 Trondheim, Norway
co-located with FSE 2025
Fri 27 Jun 2025 14:50 - 15:15 at Cosmos 3B - Binary Code Analysis and Optimization Chair(s): Andreas Zeller

Containerization has revolutionized software deployment, with Docker leading the way due to its ease of use and consistent runtime environment. As Docker usage grows, optimizing Dockerfile performance, particularly by reducing rebuild time, has become essential for maintaining efficient CI/CD pipelines. However, existing optimization approaches primarily address single builds without considering the recurring rebuild costs associated with modifications and evolution, limiting long-term efficiency gains. To bridge this gap, we present Doctor, a method for improving Dockerfile build efficiency through instruction re-ordering that addresses key challenges: identifying instruction dependencies, predicting future modifications, ensuring behavioral equivalence, and managing the optimization’s computational complexity. We developed a comprehensive dependency taxonomy based on Dockerfile syntax and a historical modification analysis to prioritize frequently modified instructions. Using a weighted topological sorting algorithm, Doctor optimizes instruction order to reduce future rebuild time while preserving functionality. Experimental results on 1,000 popular GitHub repositories demonstrate that Doctor improves 88.66% of Dockerfiles, achieving an average 24.5% reduction in rebuild time, with 14.39% of files experiencing over 50% reduction, all while preserving functional equivalence in 86.2% of cases. These findings highlight best practices for Dockerfile management, enabling developers to enhance Docker efficiency through informed optimization strategies.

Fri 27 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Binary Code Analysis and OptimizationResearch Papers / Tool Demonstrations at Cosmos 3B
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
14:00
25m
Talk
BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Research Papers
Bolun Zhang Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China, Zeyu Gao Tsinghua University, Hao Wang Tsinghua University, Yuxin Cui Institute for Network Sciences and Cyberspace, Tsinghua University, Siliang Qin Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China, Chao Zhang Tsinghua University, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Beibei Zhao Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China
DOI
14:25
25m
Talk
Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Research Papers
Oussama Draissi University of Duisburg-Essen, Tobias Cloosters University of Duisburg-Essen, David Klein TU Braunschweig, Michael Rodler Amazon Web Services, Marius Musch TU Braunschweig, Martin Johns TU Braunschweig, Lucas Davi University of Duisburg-Essen
DOI
14:50
25m
Talk
Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Research Papers
Zhiling Zhu Zhejiang University of Technology, Tieming Chen Zhejiang University of Technology, Chengwei Liu Nanyang Technological University, Han Liu The Hong Kong University of Science and Technology, Qijie Song Zhejiang University of Technology, Zhengzi Xu Nanyang Technological University; Imperial Global Singapore, Yang Liu Nanyang Technological University
DOI
15:15
15m
Demonstration
ReGraph: A Tool for Binary Similarity Identification
Tool Demonstrations

Information for Participants
Fri 27 Jun 2025 14:00 - 15:30 at Cosmos 3B - Binary Code Analysis and Optimization Chair(s): Andreas Zeller
Info for room Cosmos 3B:

Cosmos 3B is the second room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.

:
:
:
: