SACO: Static analyzer for concurrent objects


Downloads per month over past year




Downloads per month over past year

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Flores Montoya, A. and Genaim, Samir and Gómez-Zamalloa Gil, Miguel and Martín Martín, Enrique and Puebla, G. and 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.

[thumbnail of SACO static analyzer for concurrent.pdf]

Official URL:


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.

Item Type:Conference or Workshop Item (Lecture)
Subjects:Sciences > Computer science
Sciences > Computer science > Object-oriented programming (Computer science)
ID Code:36623
Deposited On:07 Apr 2016 10:42
Last Modified:08 Apr 2016 08:09

Origin of downloads

Repository Staff Only: item control page