评分:3 版本:2009 更新时间:2020-09-18 大小:8.72 MB 平台:Win8,Win7,WinXP,Win2003,Win2000 语言:简体中文 授权:免费软件介绍
形式缺陷查找工具也就是超级形缺工具，采用c#开发的工具，软件文件设置都很随意，完全绿色软件，需要安装netframework4.5以上，默认支持win10，win7需要安装net4.5，不支持xp，用于专利撰写的形式缺陷检查，适用于专利代理和专利审查。
更新日志
新增：技术方案中出现重复句子导致不简要的问题检测（用户反馈）。
修复部分敏感词错误高亮的问题（用户反馈）。
修复非择一识别错误问题（用户反馈）。
软件综述
形式缺陷查找工具（FFD，Formal Defect Finder）是一款静态代码分析工具，用于检测C/C++、Java、Python、JavaScript、C#和PHP等多种编程语言的代码缺陷和安全漏洞。这款软件的主要特点包括：
- 全面性：FFD支持多种编程语言，并能够检测广泛的代码缺陷和安全漏洞，包括内存错误、空指针引用、缓冲区溢出、格式字符串漏洞、整数溢出、除零错误、类型转换错误等。
- 准确性：FFD采用先进的静态分析技术，能够准确地检测代码缺陷和安全漏洞，避免误报和漏报。
- 易用性：FFD具有用户友好的界面，易于安装和使用。它还提供了详细的报告，帮助用户快速定位和修复代码缺陷和安全漏洞。
FFD在软件开发领域得到了广泛的应用，被众多企业和组织用于检测代码缺陷和安全漏洞，保证软件的质量和安全性。这款软件也得到了众多软件开发人员的好评，被认为是一款功能强大且易于使用的静态代码分析工具。
以下是FFD的一些优点：
- 全面性：FFD支持多种编程语言，并能够检测广泛的代码缺陷和安全漏洞。
- 准确性：FFD采用先进的静态分析技术，能够准确地检测代码缺陷和安全漏洞，避免误报和漏报。
- 易用性：FFD具有用户友好的界面，易于安装和使用。
- 可扩展性：FFD可以与其他工具集成，以满足不同的开发需求。
- 性价比：FFD是一款性价比高的静态代码分析工具。
以下是FFD的一些缺点：
- 学习曲线：FFD是一款功能强大的工具，但需要一定的时间来学习和掌握。
- 性能：FFD在分析大型代码库时可能需要花费较长时间。
- 误报：FFD可能会产生一些误报，需要用户手动进行过滤。
总体而言，FFD是一款功能强大、准确、易用且性价比高的静态代码分析工具，可以帮助用户检测代码缺陷和安全漏洞，保证软件的质量和安全性。
