From: alex@MIMSY.CS.UMD.EDU (Alex Blakemore)
Subject: Re: lint tool for Ada?
Date: 29 Jun 93 19:03:15 GMT [thread overview]
Message-ID: <68878@mimsy.umd.edu> (raw)
In article <20nl8e$esc@europa.eng.gtefsd.com> jwilson@mtgy.gtegsc.com writes:
> Has anyone heard of a "lint-like" tool for Ada? (especially the free variety)
> Wouldn't it be nice to find unreferenced variables, worthless withs, dead cod
e, etc?
yes.
Marlestone Software Technology is finishing such a tool soon, currently
named the Ada Quality Toolset (there are other tools planned/in progress too)
Its been a research prototype - so price/availability hasnt been decided yet.
if you would like to be a beta tester or get more info, contact
Mark Dowson - dowson@marlstone.com or myself alex@cs.umd.edu
If you can make WADAS tomorrow afternoon, you can see a brief presentation.
The tools require ASIS and POSIX.
Disclaimer: I am not a disinterested party
--
Alex Blakemore alex@cs.umd.edu NeXT mail accepted
--------------------------------------------------------------
"Without an engaged and motivated human being at the keyboard,
the computer is just another dumb box." William Raspberry
next reply other threads:[~1993-06-29 19:03 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-06-29 19:03 Alex Blakemore [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-07-04 8:59 lint tool for Ada? Erik Magnuson
1993-07-01 21:11 cis.ohio-state.edu!math.ohio-state.edu!sdd.hp.com!saimiri.primate.wisc.ed
1993-07-01 17:48 vnet.IBM.COM
1993-07-01 12:56 agate!howland.reston.ans.net!darwin.sura.net!europa.eng.gtefsd.com!slc17!
1993-07-01 1:08 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!wellerd
1993-06-30 20:14 David Helken
1993-06-28 20:45 Jon Wilson, PRC
1993-06-28 20:35 Bill Yow
1993-06-28 19:59 Jon Wilson, PRC
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox