comp.lang.ada
 help / color / mirror / Atom feed
From: "Steve" <nospam_steved94@attbi.com>
Subject: Re: Source Analysis Tools for Ada95
Date: Sat, 26 Apr 2003 02:21:00 GMT
Date: 2003-04-26T02:21:00+00:00	[thread overview]
Message-ID: <g2mqa.382112$Zo.89001@sccrnsc03> (raw)
In-Reply-To: 7fc0d0f7.0304251607.efb4d7b@posting.google.com

Gnat includes "gnatelim" which generates a list of gnat specific pragmas
causing no object code to be built for dead code.  You should be able to use
this as a starting point for deleting unused code.

Steve
(The Duck)


"Dr. Anthony Probe" <tony@probepak.com> wrote in message
news:7fc0d0f7.0304251607.efb4d7b@posting.google.com...
> I've got a little project to clean up 4M lines of Ada95.  Code has
> been in maintenance for years and is a bit weedy.  First task is to
> remove all unused source code (not just comp units).  I can probably
> do most of this with some scripts and existing compiler tools, but I
> wondered if any one here has experience with any other tools (both
> commercial and free) that would help automate this tedious task.
> Subsequent tasks are to clean up the code to make it more maintainable
> and code review for latent bugs.  So, I'm also seeking info on other
> analysis tools that don't get in your way but actually help this labor
> intensive IV&V task.
>
> Tony
>
> email: tony@probepak.com
> web:   http://www.probepak.com





  reply	other threads:[~2003-04-26  2:21 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-04-26  0:07 Source Analysis Tools for Ada95 Dr. Anthony Probe
2003-04-26  2:21 ` Steve [this message]
2003-04-26 22:34   ` Dr. Anthony Probe
2003-04-27  6:26     ` Simon Wright
2003-04-27 15:15       ` Jano
2003-04-27 21:32         ` Frode Tennebø
2003-04-28 18:51           ` Jano
2003-04-27 18:49   ` tmoran
2003-04-27  2:36 ` Alex Gibson
2003-04-27 19:56   ` Peter Richtmyer
2003-04-27 16:43 ` Dr. Michael Paus
  -- strict thread matches above, loose matches on Subject: below --
2003-04-29 17:37 Lionel.DRAGHI
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox