From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: ** X-Spam-Status: No, score=2.6 required=5.0 tests=BAYES_20,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,387bf697fd6e9e21 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-11-13 00:14:56 PST Path: nntp.gmd.de!xlink.net!howland.reston.ans.net!gatech!swrinde!pipex!uunet!news1.digex.net!stout!cstump From: cstump@levtech.com (Charles Stump) Newsgroups: comp.lang.ada Subject: Re: Ada Standards Checker Date: 13 Nov 1994 06:25:43 GMT Organization: Leverage Technologists Inc. Distribution: world Message-ID: <3a4bh7$4sc@news1.digex.net> References: <19941110.170001.277@vnet.ibm.com> Reply-To: cstump@levtech.com NNTP-Posting-Host: stout.levtech.com Date: 1994-11-13T06:25:43+00:00 List-Id: In article 277@vnet.ibm.com, ramsey@vnet.ibm.com (Shehadeh Ramsey) writes: >We are looking for tool that will check Ada code for violation of >coding standards - preferably drawn from the SPC's Ada Quality and >Style guide. Ideally, we'd want that tool to be very customizable - that >is, it should allow us to turn violation checks on and off, and also >alter the parameters for certain checks, where it makes sense to do so. > >Is anyone out there aware of a tool that would do this? The tool you want is REFINE/Ada. It is a tool for reverse engineering Ada and performing VERY detailed static analysis on the code. The tool is very flexible and extensible. You can use it to perform very good coding and design standards checking. Please contact me for more detailed information. --- ====================================================================== = Charles W. Stump II, Sr. Software Engineer, cstump@levtech.com = ====================================================================== = Leverage Technologists, Inc. = Reverse Engineering, = = P.O. Box 4638 = Reengineering, = = Rockville, MD = Maintenance, and = = 20849-4638 = Quality Assurance = = (301)309-8783 = tools and services. = = http://stout.levtech.com/ = = ======================================================================