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.
Category Application | Category Dev. Tools