ASIS based the Ada rule checking tool gch for GNAT is available 
Author Message
 ASIS based the Ada rule checking tool gch for GNAT is available

Dear All,

The pilot version of the Ada rule checking tool gch (from Gnat CHecker)
is
available from   http://www.*-*-*.com/
built on top of the ASIS implementation for GNAT and can be used with
the
latest public version of the GNAT/ASIS technology 3.11p available from
ftp://cs.nyu.edu/pub/gnat.

gch is available in the source form and it is distributed as free
software.

This tool checks Ada code against a given set of rules. In the current
gch version a subset of rules from Ada 95 Quality and Style is
implemented.
The file http://www.*-*-*.com/ (155K)
contains an output of checking all Ada sources from gnat_3.11p-src by
the gch.
It takes nearly 15 min on Pentium II 260 MHz, 64MB.

Our plans for the near future are to extend the set of rules checked by
gch
and to provide the means that would allow a user having some experience
with
ASIS programming to add checks for new rules with minimal changes in the
gch
code.

gch may be used as a basis for developing different kinds of rule
checking
tools.

I would appreciate any comments and bug reports sent to

Sincerely yours,

Vitali Kaufman

***************************************************************

Tel: (358)-9-388-1095      GSM: 050-5810298
http://www.*-*-*.com/ ;  
***************************************************************



Sun, 28 Oct 2001 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Web tools for rules-based systems?

2. rule-based tool in Smalltalk

3. CFP: RULE'02 - PLI-Workshop on Rule-Based Programming

4. CFP: RULE 2001 (2nd Int'l Workshop on Rule-based Programming)

5. CFP: RULE'02 - PLI-Workshop on Rule-Based Programming

6. CFP: RULE 2001 (2nd Int'l Workshop on Rule-based Programming)

7. estimating performance of rule based / knowledge based system

8. PC-Based Software Specification Tool (SSA) - Available Free

9. Prolog based make tool now available!

10. Online XML/XSL transformation tool available (based on 4Suite and CherryPy)

11. gnat - asis inconsistency

12. ASIS for gnat

 

 
Powered by phpBB® Forum Software