TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Content-Type: text/plain
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: "Harbaugh, John S" <[log in to unmask]>
Date: Tue, 25 Jul 2000 09:00:02 -0700
MIME-Version: 1.0
X-To: "W. Wesley Groleau x4923" <[log in to unmask]>
Reply-To: "Harbaugh, John S" <[log in to unmask]>
Parts/Attachments: 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