From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 29 Jun 93 19:03:15 GMT From: alex@MIMSY.CS.UMD.EDU (Alex Blakemore) Subject: Re: lint tool for Ada? Message-ID: <68878@mimsy.umd.edu> List-Id: 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