TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
"Harbaugh, John S" <[log in to unmask]>
Reply To:
Harbaugh, John S
Tue, 25 Jul 2000 09:00:02 -0700
text/plain (31 lines)
Hi All -

Rational offers a static analysis tool that uses ASIS called Ada Analyzer.  I know it can find shared variables, but I'm not sure about reentrant subprograms.  Perhaps you could recompile with pragma Restrictions(No_Reentrancy); and see where the program fails.  Ada Analyzer is an excellent tool for finding "needle in the haystack" problems, and can also help locate problem-prone code.  About the only downside is that the tool runs only under Rational Apex.  If you are using Apex, I strongly recommend you investigate this tool.


        - John Harbaugh

> ----------
> From:         W. Wesley Groleau x4923[SMTP:[log in to unmask]]
> Reply To:     W. Wesley Groleau x4923
> Sent:         Tuesday, July 25, 2000 6:59 AM
> To:   [log in to unmask]
> Subject:      Re: There's ASIS and there's ASIS

> BY THE WAY, before we go and write one, anybody know of a tool
> (ASIS or otherwise) that can find either of:
> 1. variables or constants directly referenced by two or more
>    tasks ?  or
> 2. imported functions called by two or more tasks ?
> --
> Wes Groleau