Parasoft 运行时错误检测帮助嵌入式开发团队自动定位严重的运行时缺陷,例如内存泄漏,空指针异常,未初始化内存和缓存区溢出等。
软件代码标准遵从性
Parasoft 静态代码分析帮助开发者预防和消除缺陷:通过上千条规则查找可能引起死机,死锁,不稳定行为和性能退化的代码模式。它是用C/C++、.NET 和 Java 静态分析的关键性安全模板来预定义的。这些广泛的不断扩充的规则库可以轻松地进行定制化(图形化,无需代码)来实现自动管控自定义的最佳实践。最终根据团队的偏好形成更加切合实际的精确的验证。
数据流执行路径测试
Parasoft 数据流分析组件模拟可能的应用程序执行路径——跨越多个函数和文件,同时确定这些路径是否会引发一些特定类目的运行时错误。例如:C/C++ 检测的问题包括使用未初始化或无效的内存,空指针异常,数组和缓冲区溢出,零除问题,内存和资源泄漏以及各类死代码。这种在不执行代码的情况下检测出运行时Bug对于嵌入式系统来说尤为重要,因为通常对这些错误进行详细的运行时分析是无效或者不可能的。