Universidad Complutense de Madrid
E-Prints Complutense

SACO: Static analyzer for concurrent objects

Impacto

Descargas

Último año



Albert Albiol, Elvira y Arenas Sánchez, Purificación y Flores Montoya, A. y Genaim, Samir y Gómez-Zamalloa Gil, Miguel y Martín Martín, Enrique y Puebla, G. y Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

[img]
Vista previa
PDF
227kB

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-642-54862-8_46#page-1



Resumen

We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock freedom) of programs based on concurrent objects. The system integrates auxiliary analyses such as points-to and may-happen-in-parallel, which are essential for increasing the accuracy of the aforementioned more complex properties. SACO provides accurate information about the dependencies which may introduce deadlocks, loops whose termination is not guaranteed, and upper bounds on the resource consumption of methods.


Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Materias:Ciencias > Informática
Ciencias > Informática > Programación orientada a objetos
Código ID:36623
Depositado:07 Abr 2016 10:42
Última Modificación:08 Abr 2016 08:09

Descargas en el último año

Sólo personal del repositorio: página de control del artículo