This tool, at one time known as procheck, is a part of TDK - the Tcl Developer's Kit, by ActiveState.
It is a static analysis tool.
Documentation is available at http://docs.activestate.com/tdk/5.2/Checker.html
LV So, has anyone created the necessary .pcx files to allow tclchecker to check the more common tcl extensions? TDK comes with some documentation on creating these files. However, they are relatively complex. It would be useful to try and take the info from the doc and try to write a usable .pcx file, just to work out the kinks of how things work. It seems pretty complex.
AK I have .pcx files for some of the packages in Tcllib. I will commit them (incrementally) to Tcllib. They will require version 4.1 of Tcl Dev Kit.