Detecting Binary Incompatible Software Components Using Dynamic Loader

  • A. Barath Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary
  • Z. Porkolab Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary

Abstract

Modern programming languages support modular development dividing the system into separate translation units and compile them individually. A linker is used then to assemble together these units either statically or dynamically. This process, however, introduces implicit dependences between the translation units. When one or more units are modified in inconsistent way binary incompatibility occurs and may result in unexpected program behavior. Current mainstream programming languages neither specify what are the binary compatibility rules nor provide tools to check them.
In this paper we discuss the details of various cases of binary incompatibility. We implemented a prototype solution in the Welltype programming language to detect binary compatibility by dynamic loader.

Published
2018-06-19
How to Cite
BARATH, A.; PORKOLAB, Z.. Detecting Binary Incompatible Software Components Using Dynamic Loader. Studia Universitatis Babeș-Bolyai Informatica, [S.l.], v. 63, n. 1, p. 51-63, june 2018. ISSN 2065-9601. Available at: <http://www.cs.ubbcluj.ro/~studia-i/journal/journal/article/view/21>. Date accessed: 29 nov. 2020. doi: https://doi.org/10.24193/subbi.2018.1.04.
Section
Articles