nm@chaos.cs.brandeis.edu (Nicolas Mercouroff) (06/21/91)
-----------------------------------------------------------------------------
AStICo: A static analyzer of communicating
processes on the Macintosh
-----------------------------------------------------------------------------
1. Purpose
AStICo is a tool, running under Macintosh OS, for statically analyzing
communications between concurrent processes using abstract interpretation
methods.
It analyzes a program written in an OCCAM-like syntax, and finds
an approximate set larger than the set of all pairs of i/o commands
which can be synchronized during a computation.
For more details about the method, see : ``Automatic detection of
communicating failures,'' N.Mercouroff, These de l'Ecole Polytechnique,
published in 1990, or ``An Algorithm for Analyzing Communicating
Processes,'' N.Mercouroff, Research report of the Laboratoire
d'Informatique de l'Ecole Polytechnique, (LIX/RR/90/12), and
Proceedings of the conference MATHEMATICAL FOUNDATIONS OF PROGRAMMING
SEMANTICS, Carnegie Mellon University, Pittsburgh, Pennsylvania,
25-28 Mars 1991, to appear in Lecture Notes in Computer Science,
Springer-Verlag ed.
2. Author
The program AStICo, and the method to analyze communicating
programs were created by myself :
Nicolas Mercouroff
Dept. of Computer Sciences,
Brandeis University,
Waltham, MA 02154, USA
Usenet : nm@cs.brandeis.edu
during my PhD in Computer Science at the LIX, Laboratoire d'Informatique
de l'Ecole Polytechnique, supervised by professor P.Cousot.
3. Directions for downloading AStICo
Save and transfer this message to a macintosh, then with any compression
utilities for the Macintosh (BinHex 4.0, StuffIt, Compact Pro, ...),
un-BinHex it. You will obtain a self-extracting archive, which means that
you just have to double-click on the application to uncompress the archive.
The package contains ``AStICo 2.1,'' the analyzer itself, along with
``Doc AStICo,'' and a folder with examples.
-Nicolas Mercouroff nm@cs.brandeis.edu
Dept. of Computer Sciences, Brandeis University, Waltham, MA 02154
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabellnm@chaos.cs.brandeis.edu (Nicolas Mercouroff) (06/26/91)
I write: >----------------------------------------------------------------------------- > AStICo: A static analyzer of communicating > processes on the Macintosh >----------------------------------------------------------------------------- > ....et cetera Unfortunaly, my post had been cut by the moderator. If you want to try AStICo on any Macintosh, just drop me a line (nm@cs.brandeis.edu), and I will send you the binary source by mail. You can also send me a mail if you want a copy of my research report ``An Algorithm for Analyzing Communicating Processes.'' -Nicolas Mercouroff nm@cs.brandeis.edu Dept. of Computer Sciences, Brandeis University, Waltham, MA 02154 My home: P.O. Box 390929, Cambridge, MA 02139, USA