Abstract
In the last years a group of colleagues and I have developed a new approach to interprocedural program analysis based on ideas born in the model-checking community [2,3,4,6]. The Moped tool [8] is an implementation of most of this work. In interaction with the SLAM toolkit [1], Moped has been applied to the analysis of programs with thousands of lines of C code.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
T. Ball and S. Rajamani: The SLAM Project: Debugging System Software via Static Analysis Conference Record of POPL’ 02, 1–3, ACM Press (2002).
A. Bouajjani, J. Esparza and O. Maler: Reachability Analysis of Pushdown Automata: Application to Model-Checking. Proceedings of CONCUR’ 97, LNCS 1243, 135–150 (1997).
J. Esparza, D. Hansel, P. Rossmanith and S. Schwoon: Efficient Model Checking Algorithms for Pushdown Systems. Proceedings of CAV’ 00, LNCS 1855, 232–247 (2000).
J. Esparza and J. Knoop: An Automata-theoretic Approach to Interprocedural Dataflow Analysis. Proceedings of FOSSACS’ 99, LNCS 1578, 14–30 (1999).
J. Esparza and A. Podelski: Efficient algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. Conference Record of POPL’ 00, 1–11, ACM Press (2000).
J. Esparza and S. Schwoon: A BBD-Based Model Checker for Recursive Programs. Proceedings of CAV’ 01, LNCS 2102, 324–336 (2001).
M.W. Hopkins and D.C. Kozen: Parikh’s Theorem in Commutative Kleene Algebra Proceedings of LICS’99, IEEE, 394–401 (1999)
Moped-A Model-Checker for Pushdown Systems. Writen and maintained by Stefan Schwoon. Code available at http://www7.in.tum.de~schwoon/moped.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esparza, J. (2002). An Algebraic Approach to the Static Analysis of Concurrent Software. In: Hermenegildo, M.V., Puebla, G. (eds) Static Analysis. SAS 2002. Lecture Notes in Computer Science, vol 2477. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45789-5_3
Download citation
DOI: https://doi.org/10.1007/3-540-45789-5_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44235-6
Online ISBN: 978-3-540-45789-3
eBook Packages: Springer Book Archive