软件介绍
简介
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系统环境。能够适配麒麟等国产操作系统。
软件官网
http://talcheck.lingoes.net/
软件综述
Talcheck（GJB-8114编码规则检查工具）2.1.0
概述
Talcheck 是一款用于检查 GJB-8114 编码规则合规性的软件工具。GJB-8114 是适用于中国军工行业软件开发的编码规则。
特点
- 全面的检查：检查源代码是否符合 GJB-8114 规则，包括命名约定、代码格式、注释和错误处理。
- 集成性强：支持多种编程语言和开发环境，包括 C、C++、Java 和 Python。
- 自动化：通过命令行或 IDE 插件运行，自动化检查过程，节省时间和精力。
- 详细报告：生成详细的报告，突出显示违反规则的代码行，便于错误修复。
- 可配置性：允许用户自定义检查规则，以满足特定项目要求。
优点
- 确保软件合规性并提高代码质量
- 减少手动检查错误的可能性
- 提高开发效率和生产力
- 促进团队在编码实践方面的协作
缺点
- 可能存在误报，需要手动验证结果
- 仅适用于符合 GJB-8114 规则的代码
- 可能无法检测所有类型的违规行为
应用场景
Talcheck 适用于需要遵守 GJB-8114 编码规则的软件开发项目，特别是：
- 军事和航空航天领域
- 政府机构
- 采用 GJB-8114 标准的企业
总结
Talcheck（GJB-8114编码规则检查工具）2.1.0 是一款有效的软件工具，可帮助确保代码符合 GJB-8114 编码规则。它可以通过自动化检查过程、生成详细报告和提高开发效率来提高代码质量。
暂无评论内容