How to program and write comments in C language

Doxigen

Doxygen is a free tool for documenting code. With a single command it can generate cross-referenced HTML documentation from any C++ or Java code. Furthermore, if the code is commented in a particular styled, Doxygen can leverage that to enhance the documentation. The below is a selection of the most useful markup for Doxygen, to serve as quick introduction and reminder.

DoxyReference

Doxygen cheatsheet

JPL Coding Standards for C

JPL_Coding_Standard_C

How do the folks at JPL write the code that will land a 2000-pound robot on Mars without a single glitch? Much of their success is no doubt due to their talent and dedication, but it doesn’t hurt that they have very strict coding standards (PDF). Among the requirements for C-language code at JPL:

  • Compile with all warnings enabled; use static source code analyzers.
  • Do not use direct or indirect recursion.
  • Do not use dynamic memory allocation after task initialization.
  • Declare data objects at smallest possible level of scope.
  • Check the validity of values passed to functions.
  • Make the order of evaluation in compound expressions explicit.
  • Do not use expressions with side effects.
  • Make only very limited use of the C pre-processor.
  • Use short functions with a limited number of parameters.
  • Do not cast function pointers into other types.

The JPL code standards are based on the 2004 MISRA-C coding standard. MISRA was originally designed for automotive applications, but was later adapted to other safety-critical systems where computer glitches can have dire consequences, like remote control locomotives. Some of the requirements parallel specifications of the language ADA, which was originally designed for safety-critical applications like missile guidance systems.

Another important source from Thomas Honold is the Seventeen steps is C programming language:

17_rules

RELEASED CODE

Simple code counter for C programs (ncsl NTR-44124) [ncsl.tar.gz]
Preprocessor for C programs (gh_cpp NTR-44125) [gh_cpp.tar.gz]

SELECTED PUBLICATIONS

JPL Institutional Coding Standard for the C Programming Language [PDF]developed in collaboration with Grammatech, checkers for the rules in this standard are available from Grammatech and Semmle
JPL Coding Standard for Java [PDF]developed in collaboration with Semmle, checkers for the rules in this standard are available from Semmle.

For C header files

CHeaderFileGuidelines