====== Lint ======

  * [[http://www.ratiosoft.com/lint/l_for_m.htm|Informationen für Manager]]

===== Splint =====

  * www.splint.org -- Syntax Checker
    * [[http://www.mikrocontroller.net/topic/104207|A field report of a first time Splint user]] :DE:
    * [[http://www.mikrocontroller.net/topic/99785|Wie benutzt man Lint?!]] -- An other field report
    * [[http://www.mail-archive.com/splint-discuss@mail.cs.virginia.edu/info.html|splint-discuss]] -- Mailing list archive
    * [[http://www.linux-magazin.de/Heft-Abo/Ausgaben/2003/05/Flusen-Sieb|Code-Qualität mit Splint überprüfen - Teil 1]] -- Linux-Magazin 2003/05
    * [[http://www.linux-magazin.de/Heft-Abo/Ausgaben/2003/06/Vollwaschmittel|Code-Qualität mit Splint überprüfen - Teil 2]] -- Linux-Magazin 2003/06 

===== PC-Lint =====

  * www.gimpel.com -- Gimpel Software, the provider of [[wp>PC-lint]] for C/C++.
    * [[http://www.kessler.de/prd/gimpel/p_pclintpreise.htm|Überblick und Preise]] bei www.kessler.de
    * {{http://www.bezem.de/pdf/htwpl.pdf|How to wield PC Lint}}
    * [[https://gimpel.com/html/ptch90.htm|Version 9.00 Patches and Support Files]] [(https://web.archive.org/web/20190824080156/https://gimpel.com/html/ptch90.htm)]

  * [[http://www.approxion.com/?p=135|Using PC-Lint in a Linux Environment]]
  * [[http://stackoverflow.com/questions/8399735/how-can-i-run-an-incremental-pc-lint-using-make|How can I run an incremental PC-Lint using make]]
  * [[http://www.approxion.com/?page_id=26|ALOA – A Lint Output Analyzer]]\\ <wrap info>//Ralf Holly// -- {{http://www.approxion.com/wp-content/uploads/2008/06/aloa.pdf|Lint Metrics & ALOA - Making a powerful tool even more powerful}}</wrap>