安装matlab2014a怎么多了polyspace code prover和polyspace
这两个基本绝大部分用户都用不上，删除不会影响。
Polyspace Bug Finder R2014a是查找代码的bug，比如除0，溢出，数组访问超出边界等问题。后面的类似。删除不会影响。
详细信息见下：
Polyspace Bug Finder
通过静态分析找出软件错误
Polyspace Bug Finder™ 可以识别 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Bug Finder使用包含语义分析在内的静态分析功能分析软件控制、数据流和程序交互行为。通过在检测到缺陷之后立即高亮显示，可让您在开发过程的早期阶段鉴别和修复错误。
Polyspace Bug Finder 可检查是否符合编码规范，如 MISRA C®、MISRA C++、JSF++ 和用户自定义命名规范。它可以生成包括被发现的错误、代码违规和代码质量指标（（如圈复杂度）等在内的报告。Polyspace Bug Finder 可与 Eclipse™ IDE 结合使用并集成到编译生成系统中。
对于自动生成的代码，Polyspace®的检查结果可以追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。
通过 IEC Certification Kit（适用于 ISO 26262 和 IEC 61508）和 DO Qualification Kit（适用于DO-178）可提供对行业标准的支持。
Polyspace Code Prover
证明软件中不存在运行时错误
Polyspace Code Prover™ 作为一款可靠的静态分析工具，能够证明在C 和 C++ 源代码中不存在溢出、除零、数组访问越界以及其它运行时错误。整个分析过程无需执行程序、植入代码，或运行测试用例。Polyspace Code Prover 使用基于形式化方法的语义分析和抽象解释验证软件程序交互、控制和数据流的行为。你可以用于手写代码、生成代码或二者的混合代码。每项检查均在代码上着色表示是否无运行时错误、已证明有问题、不可达或有待进一步分析。
Polyspace Code Prover 亦能显示变量和函数返回值的范围信息，并可以证明变量是否超出指定范围限制。这些结果可以发布到看板上，以跟踪质量指标并确保符合软件质量目标。Polyspace Code Prover 还可以集成到编译生成系统中以执行自动验证。
通过IEC Certification Kit（适用于 IEC 61508 和 ISO 26262）和 DO Qualification Kit（适用于 DO-178）可以提供对行业标准的支持。此外，它还可以支持 Ada 语言。
资料：
Polyspace Bug Finder
http://cn.mathworks.com/products/polyspace-bug-finder/
Polyspace Code Prover
Polyspace Bug Finder R2014a是查找代码的bug，比如除0，溢出，数组访问超出边界等问题。后面的类似。
删除不会影响。
希望采纳，设置为满意答案，谢谢。
D:\Program Files\MATLAB\R2014a-64bit\resources\MATLAB\zh_CN
不过，上面这个方法并不彻底，我还有更好的方法。
如果感兴趣并且认为值得的话，请增加一些悬赏后再追问。
尽管悬赏对我而言其实并没有什么实际价值，但我希望为自己大半天的劳动讨个说法。
Polyspace Bug Finder R2014a是查找代码的bug，比如除0，溢出，数组访问超出边界等问题。后面的类似。
删除不会影响。
Polyspace Bug Finder R2014a是查找代码的bug，比如除0，溢出，数组访问超出边界等问题。后面的类似。删除不会影响。
