Sciweavers

PASTE
1998
ACM

Efficient Composite Data Flow Analysis Applied to Concurrent Programs

14 years 1 months ago
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Although FLAVERS is one of the few static analysis techniques for concurrent systems that has the potential to handle large scale systems, it sometimes can still be very expensive to use. In this paper we experimentally compare the cost of two versions of this approach for solving composite data flow analysis problems. The first version, productbased, uses the more straightforward approach, and the second, tuple-based, is built around the idea of reducing analysis space requirements at the expense of analysis time. We demonstrate experimentally, by analyzing properties of actual concurrent programs, that the tuple-based version is comparable in time to the product-based version but for large composite data flow problems it requires several orders of magnitude less space. Keywords Static analysis, data flow analysi...
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1998
Where PASTE
Authors Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Comments (0)