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.
http://ASPN.ActiveState.com/ASPN/docs/Tcl_Dev_Kit/4.0/Checker.h