Automated Verification of Shared Libraries for Backward Binary Compatibility

Ponomarenko, Andrey; Rubanov, Vladimir

doi:10.1109/valid.2010.27

Cited by 6 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1. The plug-ins focused on identification of problems of compatibility on the basis of the approach considered in articles [7,8]. On an entrance receive various versions of library between which it is necessary to carry out migration of the target software.…”

Section: Offers On the Solution Of Problems Of Compatibilitymentioning

confidence: 99%

Conceptual basis for developing of trainig models in complex system software assembling generator

Georgiev

Prokopyev

Polikashin

2018

J. Fundam and Appl Sci.

View full text Add to dashboard Cite

This paper presents conceptual basis for developing of training models of interactive assembling system for automatic building of application software systems, obtained during practical works over "Design and architecture of software systems" and "Object-oriented analysis and design" courses. The system is intended for practical demonstration of basic stages and operations in development of complex and critical software. This also includes a consideration of solutions for some substantial problems of complex systems software generation, such as: program module compatibility, formalization of computer interaction and choosing of formal model for human machine interface. In addition, several training model implementations are provided.

show abstract

Section: Offers On the Solution Of Problems Of Compatibilitymentioning

confidence: 99%

Conceptual basis for developing of trainig models in complex system software assembling generator

Georgiev

Prokopyev

Polikashin

2018

J. Fundam and Appl Sci.

View full text Add to dashboard Cite

show abstract

“…Examples of changes resulting in breaking backward binary compatibility include changing data type size of a function parameter or changing the structure of a virtual table in a class. Such changes result in incorrect run-time behavior or even crashes of applications that use the corresponding function or class [6].…”

Section: Compatibilitymentioning

confidence: 99%

Implementation of a New Cipher in OpenSSL Environment the Case of INDECT Block Cipher

Jurkiewicz¹,

Niemiec²

2016

IJCCE

View full text Add to dashboard Cite

Implementation of a new cipher in the popular cryptographic library is a convenient way of deploying it for wide usage. In this article we described the process of integration of a new cipher with the OpenSSL libraries. In this case it is the INDECT Block Cipher (IBC), a new symmetric block cipher based on a substitution-permutation network. However, this work is more universal because it is possible in the same way to integrate any symmetric cipher in the OpenSSL environment. The goal of the implementation is to enable usage of a new cipher in applications using OpenSSL libraries, especially to encrypt data in SSL/TLS connections. The article contains general descriptions of OpenSSL, SSL/TLS protocol and the IBC algorithm. Also, the integration process was described in detail. Particular attention is paid to binary compatibility issues. Additionally, results of various tests of the modified libraries were presented.

show abstract

“…To develop a radio-specific RIL, it is required to create a shared library that implements the set of functions required by Android to process particular radio requests. In an abstraction level, we can locate libraries as software components that rely on the kernel and provide higher level functionality to userlevel applications (Ponomarenko and Rubanov, 2010).…”

Section: Abstraction Levels In Android To Manage Gsmmentioning

confidence: 99%

Managing Tetra Channel Communications in Android

Corral¹,

Sillitti²,

Succi³

2011

Proceedings of the 13th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Mobile systems have evolved to a level in which they have to carry out their operations in environments demanding high availability and short response time. An excellent radio transmission protocol is necessary to provide the means to satisfy such requirements. TETRA standard offers a large number of features designed for safety and emergency use; however, to access a TETRA network it is compulsory the use of a standard-specific device. In this paper we explore the conditions that have to be fulfilled to extend Android's capabilities to access TETRA networks from a general-purpose mobile device, and set a path for a future development aimed to accomplish it.

show abstract

Automated Verification of Shared Libraries for Backward Binary Compatibility

Cited by 6 publications

References 5 publications

Conceptual basis for developing of trainig models in complex system software assembling generator

Conceptual basis for developing of trainig models in complex system software assembling generator

Implementation of a New Cipher in OpenSSL Environment the Case of INDECT Block Cipher

Managing Tetra Channel Communications in Android

Contact Info

Product

Resources

About