Sw expert at a manufacturing company with 5,001-10,000 employees
Real User
Feb 8, 2024
When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences.
Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect.
Polyspace Code Prover boosts code reliability by identifying critical issues like memory corruption and null pointer dereferences, adhering to ISO 26262 standards.Polyspace Code Prover offers advanced static code analysis tailored to detect complex runtime issues, making it a substantial asset in safety-critical software development. With features that facilitate easy integration with minimal tool switching, it effectively examines code segment runtimes for potential faults such as memory...
When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences.
The product detects memory corruptions.
Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect.
The outputs are very reliable.
Polyspace Code Prover is a very user-friendly tool.