Binary-level Software Compatibility Tool Agreement

12/06/2022
by   Vanessa Sochat, et al.
0

Application Binary Interface (ABI) compatibility is essential for system or software updates to ensure that libraries continue to function. Tools that can assess a binary or library ABI can thus be used to make predictions about compatibility, and predict downstream bugs by informing developers and users about issues. In this work, we are interested in describing a set of well-known tools for assessing ABI, and testing them in a controlled set experiments to assess tool agreement. We run 7660 smaller experiments across tools (N=30,640 total results) to evaluate not only predictions, but also each tool's ability to provide detail about underlying issues. In this work, along with highlighting the problem of assessing ABI compatibility and critiquing the pros and cons of currently available tools, we provide guidance to developers interested to test ABI based on our empirical results and suggestions for future work.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/24/2022

Binary Lifter Evaluation

Binary rewriting gives software developers, consumers, attackers, and de...
research
02/17/2021

DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures

Applications depend on libraries to avoid reinventing the wheel. Librari...
research
09/02/2020

Binary Compatibility For SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...
research
12/27/2022

Towards Benchmarking GUI Compatibility Testing on Mobile Applications

GUI is a bridge connecting user and application. Existing GUI testing ta...
research
08/17/2020

Putting the Semantics into Semantic Versioning

The long-standing aspiration for software reuse has made astonishing str...
research
05/15/2023

CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues

Modern software systems heavily rely on external libraries developed by ...
research
11/03/2022

Pairing optimization via statistics: Algebraic structure in pairing problems and its application to performance enhancement

Fully pairing all elements of a set while attempting to maximize the tot...

Please sign up or login with your details

Forgot password? Click here to reset