RT Conference Proceedings
T1 SACO: Static analyzer for concurrent objects
A1 Albert Albiol, Elvira María
A1 Arenas Sánchez, Purificación
A1 Flores Montoya, A.
A1 Genaim, Samir
A1 Gómez-Zamalloa Gil, Miguel
A1 Martín Martín, Enrique
A1 Puebla, G.
A1 Román Díez, Guillermo
AB 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.
PB Springer
SN 03029743
YR 2014
FD 2014
LK https://hdl.handle.net/20.500.14352/36144
UL https://hdl.handle.net/20.500.14352/36144
LA eng
NO Unión Europea. FP7
NO Ministerio de Ciencia e Innovación (MICINN)
DS Docta Complutense
RD 6 oct 2024