SACO

SACO: Static analyzer for concurrent objects. 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


References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Eraşcu, Mădălina; Micota, Flavia; Zaharie, Daniela: Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (2021)
  2. Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell (2020)
  3. Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique: A transformational approach to resource analysis with typed-norms inference (2020)
  4. Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I.; Román-Díez, Guillermo: Time analysis of actor programs (2019)
  5. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  6. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  7. Henrio, Ludovic; Rochas, Justine: Multiactive objects and their applications (2017)
  8. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: May-happen-in-parallel analysis for actor-based concurrency (2016)
  9. Zanardini, Damiano; Albert, Elvira; Villela, Karina: Resource-usage-aware configuration in software product lines (2016)
  10. Albert, Elvira; Arenas, Puri; Flores-Montoya, Antonio; Genaim, Samir; Gómez-Zamalloa, Miguel; Martin-Martin, Enrique; Puebla, German; Román-Díez, Guillermo: SACO: Static analyzer for concurrent objects (2014) ioport
  11. Bubel, Richard; Montoya, Antonio Flores; Hähnle, Reiner: Analysis of executable software models (2014)