cppcheck analysis of tla-tools_2005.0.patch.29-2.dsc