Software Engineer at Federal University of Minas Gerais
Real User
Top 20
2024-08-14T15:26:00Z
Aug 14, 2024
I advise you to read the documentation first. The start guide's quite complete, so it's the best way to use it. Overall, I rate the solution a nine out of ten.
Sw expert at a manufacturing company with 5,001-10,000 employees
Real User
Top 20
2024-02-08T15:01:51Z
Feb 8, 2024
If you're using Simulink and Stateflow models within MATLAB, integrating with Polyspace Code Prover is very convenient because they're fully supported. There's a link between the code in the Simulink blockset, which makes verification efficient and practical. Overall, I would rate the solution a six out of ten. It is not a bad tool, it is just not the best tool.
I advise you to check what exactly you need out of this tool. Sometimes, you might not need something as complex as a code prover. However, in a use case where you want to check all possible combinations and inputs to ensure that the software does not behave incorrectly, you will definitely need to use Polyspace Code Prover. It is not humanly possible to perform these checks manually. If you are delivering a product with a quality rating or if it will impact people's lives in some way, then Polyspace Code Prover is essential. But if your application is not that critical, if it does not significantly impact people's lives, and if you can afford not to use it, then you can definitely go without it. Polyspace Code Prover finds many problems that are missed during normal unit testing. However, if you cannot afford the cost, you must evaluate the importance of quality. Overall, I rate it an eight out of ten because of the time it takes.
Senior Engineer at a manufacturing company with 10,001+ employees
Real User
Top 5
2023-04-03T07:44:56Z
Apr 3, 2023
I'm an end-user. We have the solution on our own server, and I have worked with an AWS-based server also in other organizations. We chose the solution due to the fact that the outputs are very reliable. I'd recommend the solution to others to see if it will produce the results desired based on the code. Users should be able to expect the results they will get and be able to cross-verify. I'd rate the solution eight out of ten.
Specialist at a tech consulting company with 501-1,000 employees
Real User
Top 10
2023-03-31T13:27:00Z
Mar 31, 2023
I would recommend Polyspace with respect to the updated versions; it is quite user-friendly. They have made some improvements as well. However, I have not used other tools. For example, there is a policies analytics check tool, and there is Polyspace Code Prover provided by MathWorks; I would definitely go with MathWorks. I never found any glitches as a user. They have improved a lot in terms of automation. They might have fixed the glitches. Overall, I would rate Polyspace Code Prover an eight out of ten because it provides an integrated development scope where I can input my code and check it at both the unit level and meter guidelines. Additionally, I am able to check for any necessary policy-related items, as well as conduct static analytics checks. This feature allows me to ensure that all necessary checks are completed efficiently.
Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases. Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior. You can use it on handwritten code,...
I advise you to read the documentation first. The start guide's quite complete, so it's the best way to use it. Overall, I rate the solution a nine out of ten.
If you're using Simulink and Stateflow models within MATLAB, integrating with Polyspace Code Prover is very convenient because they're fully supported. There's a link between the code in the Simulink blockset, which makes verification efficient and practical. Overall, I would rate the solution a six out of ten. It is not a bad tool, it is just not the best tool.
I recommend the product to others. Overall, I rate the tool an eight out of ten.
I advise you to check what exactly you need out of this tool. Sometimes, you might not need something as complex as a code prover. However, in a use case where you want to check all possible combinations and inputs to ensure that the software does not behave incorrectly, you will definitely need to use Polyspace Code Prover. It is not humanly possible to perform these checks manually. If you are delivering a product with a quality rating or if it will impact people's lives in some way, then Polyspace Code Prover is essential. But if your application is not that critical, if it does not significantly impact people's lives, and if you can afford not to use it, then you can definitely go without it. Polyspace Code Prover finds many problems that are missed during normal unit testing. However, if you cannot afford the cost, you must evaluate the importance of quality. Overall, I rate it an eight out of ten because of the time it takes.
I'm an end-user. We have the solution on our own server, and I have worked with an AWS-based server also in other organizations. We chose the solution due to the fact that the outputs are very reliable. I'd recommend the solution to others to see if it will produce the results desired based on the code. Users should be able to expect the results they will get and be able to cross-verify. I'd rate the solution eight out of ten.
I would recommend Polyspace with respect to the updated versions; it is quite user-friendly. They have made some improvements as well. However, I have not used other tools. For example, there is a policies analytics check tool, and there is Polyspace Code Prover provided by MathWorks; I would definitely go with MathWorks. I never found any glitches as a user. They have improved a lot in terms of automation. They might have fixed the glitches. Overall, I would rate Polyspace Code Prover an eight out of ten because it provides an integrated development scope where I can input my code and check it at both the unit level and meter guidelines. Additionally, I am able to check for any necessary policy-related items, as well as conduct static analytics checks. This feature allows me to ensure that all necessary checks are completed efficiently.