SACO: Static Analyzer for Concurrent Objects
Abstract elided by the publisher.
Related papers
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- Using types to analyze and optimize object-oriented programs TOPLAS 2001
- The Static Analyzer Infer in SV-COMP (Competition Contribution) TACAS 2022
- A Formalism for Real-Time Concurrent Object-Oriented Computing OOPSLA 1992
- Concurrent marking of shape-changing objects ISMM 2019
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Analyzing permission transfer channels for dynamically typed languages DLS 2021
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016