DCC - Disciplined C Checker

Author : Yves Noyelle (<yves.noyelle@supelec.fr>)

It verifies that a C source file complies with the precepts of Disciplined C, a set of rules aiming at elevating ANSI C to the rank of high level language (as opposed to portable assembly language), and making as much semantics as possible flow from the design to the source code. This is achieved mainly via quasi-compulsory types/constants naming and 'const' qualifier use.

It also detects most of the pitfalls of the C language, helps the programmer organize his program modules and write them so that they are well structured, well encapsulated and more portable, and finally gives some much-needed compiletime checking tools.

We would appreciate if you leave your comments about DCC on our
message board.
Don't also hesitate to report bugs, tell us what you think about this software, its usefullness or even what you would like to see implemented ...

• DCC Message Board

• DCC Article
• DCC VMS help
• HTML Version of the help.
• PS Version of the help.

• Download the last DCC version.

GoTo Top

Please, take the time to sign our guest-book. It will help us
to keep working on software and information you can find on this site.

[Home] [Index] [Net-Srch] [Software] [Help] [Doc] [Guest-Book] [Web-Master] [Any-Browser]