talcheck(GJB-8114编码规则检查工具) 1.8.3

简介 talcheck是拥有独立知识产权的国产软件，能够对c/c++/java代码进行编码标准符合情况检查，进而根据检查结果对被测代码的编码规则符合情况进行评估，并生成检查报告。检测结果准确详实，既包括违规点在源文件的位置信息、违反的规则信息以及违反原因等信息，还可以包括特定规则的溯源分析、影响范围分析以及影响程度分析的结果，这些丰富且全面地信息能够为评估特定的违规提供依据，也为解决代码中存在的问题提供明确的线索，进而促进软件代码质量得到有效地改善与提高。 技术特点 1.检测准确、全面且检测能力强 talcheck以完全自研的c/c++/java代码解析器为基础，对被测代码进行准确且全面的合规性检查。既能够进行依赖于代码解析的基础规则检查，也能够在代码解析结果的基础上，应用路径遍历、约束求解、仿真地址空间、循环函数求解及仿真等多项相关技术进行深度规则检查，从而对源码与编码标准的符合情况进行准确深入且全面地检查。 2.支持编码标准丰富 talcheck既支持GB/T 28169、GB/T 34943、GB/T 34944、GJB 5369、GJB 8114等国家标准及特定领域标准，也支持MISRA C、MISRA C++等通用的行业标准，还支持CERT C、CWE等专业标准。 3.功能紧凑、简单易用 talcheck力求以最简洁的方式提供准确且全面的规则检查，并以便捷且清晰的方式呈现检测结果。仅需要执行“打开”操作，即可实现整个被测工程的基础规则检查。在执行一次“深度检查”操作，即可全面完成整个被测工程的规则检查。借助于工程导航树，可以轻松的查看特定函数、特定单元乃至整个工程的检查结果，也可以轻松地实现对特定文件或者整个工程的编码规则符合情况进行评估。 4.使用灵活 （1）talcheck允许用户自主选用编码标准、编码规则集合、设置规则的严重等级、定制不同编码标准中的可自定义的规则。 （2）talcheck还可根据测试资源的实际情况调整检测程度。既可以单独进行基础检查以节省检查时间，也可以根据时间的多少有选择地进行特定函数或特定文件的深度规则检查，从而在测试资源有限的前提下，实现规则检查效率的最大化。 5.适用性强 （1）talcheck既支持对整个工程进行检查，也支持对单个文件进行检查 ； （2）不依赖任何第三方编译器，能够检测不完整工程中的源码，甚至能够检测第三方编译器不能编译成功的代码； （3）talcheck既能够应用于windows系统环境，也能够应用于linux系统环境。能够适配麒麟等国产操作系统。