[I have been asked to post the following for a collegue (Jim Knoke) who does
not have access to Usenet. Please forward replies to him directly

them on to him. Thanks in advance -- Daniel]

    The TCB Devlopment group at HFS Inc. is looking for 'C' source code  
analysis tools (or scripts) which can produce calling trees and global  
data cross references.  We are aware of "xref", "cflow", and "perl",  
but they are not as powerful or flexible as we would like.  
    We would like calling trees in both directions: "called by" and  
"calls to".  There should be a way to denote calls from the hardware  
or from separately linked software.  Both function and file names should  
be shown.  It should be possible to ignore calls to library routines.  
It should not be difficult to manually add assembly language calls to the  
trees.  It should be possible to treat macros as functions.  
    The global data cross reference must include references through pointers.  
Dynamically created global data must be included, possibly with the  
assistance of a manually included list of dynamic structures.  Formal  
parameters, local variables, and constants must be ignored.  

(relayed via Daniel Faigin at the address below)
--
[W]:The Aerospace Corp. M1/055 * POB 92957 * LA, CA 90009-2957 * 310/336-8228

                    "And as they say, the rest is compost"

Ensemble is a suite of tools for the C development and maintenance
engineer. The code analysis or reverse engineering tools generate
structure charts with calling hierarchy and parameter passing info, and
cross reference reports. The tools provide additional structure and
logic reverse engineering, quality metrics calculations, test case
generation, test execution profiling, and design documentation
generation. Ensemble is currently shipping on Sun Sparc and HP700.
Ensemble will be shipping on IBM RS6000 and DEC Ultrix in Q1, 1993.
Ensemble works with ANSI, K&R, and Microsoft dialects including the
extensions for the workstation compilers and many cross compilers.

For more information, please contact Cadre Technologies at
1-800-743-2273 or (401) 351-5950.

John Blattner
Cadre Technologies Inc.