Where should we email your report?
Polyspace Code Prover review
Sw expert at a manufacturing company with 5,001-10,000 employees
Enhanced our code verification process but it crashes on large applications
There are two main areas of improvement. * False negatives and false positives. * The speed of the validation itself. Another area I see for improvement is scalability, particularly when dealing with large software systems. While Polyspace is effective for individual components and smaller applications, its performance can be impacted when...
Polyspace Code Prover review
Pradeep Panchakarla
Functional Safety Engineer at a manufacturing company with 5,001-10,000 employees
A reliable solution that provides excellent features and detects memory corruption
The run time analysis process must be improved. If we do not run with the main loop, it generates its own main and doesn’t allow developers to modify the execution sequences. The solution must provide more flexibility to the developers to manipulate the runtime analysis tools. The developer must be allowed to modify the main sequence. It...
Since 2012, we've had 868,759 professionals use our research.
As seen in