Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system

Authors:
Mariano Ceccato;Paolo Tonella
Affiliations:
Fondazione Bruno Kessler-IRST, Trento, Italy;Fondazione Bruno Kessler-IRST, Trento, Italy
Venue:
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Year:
2010

Citing 0
Cited 1

System-specific static code analyses: a case study in the complex embedded systems domain

Software Quality Control

Quantified Score

Hi-index	0.01

Visualization

Abstract

Often, legacy data management systems provide no native support to transactions. Programmers protect data from concurrent access by adopting commonly agreed patterns, relying on low level concurrency primitives, such as semaphores. In such cases, consistent data access is granted only if all code components are compliant with the adopted mutual exclusion patterns.