Try our new research platform with insights from 80,000+ expert users

Cisco SecureX [EOL] vs Polyspace Code Prover comparison

 

Comparison Buyer's Guide

Executive Summary

Review summaries and opinions

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:
 

Customer Service

No sentiment score available
No sentiment score available
Polyspace Code Prover support is appreciated for technical assistance, despite response delays, with online resources sometimes preferred first.
 

Room For Improvement

No sentiment score available
No sentiment score available
Users seek enhanced automation, faster processing, improved scalability, flexible imports, better dependency handling, and accurate error reporting.
 

Scalability Issues

No sentiment score available
No sentiment score available
Polyspace Code Prover scales well, supporting many users, though floating licenses limit access, impacting processing speed.
 

Setup Cost

No sentiment score available
No sentiment score available
Enterprise buyers deem Polyspace Code Prover's pricing high yet worthwhile, highlighting its essential value and favorable cost-to-benefit ratio.
 

Stability Issues

No sentiment score available
No sentiment score available
Polyspace Code Prover is stable with resolved bugs, occasional issues, licensing concerns, and a 90% stability rating.
 

Valuable Features

No sentiment score available
Sentiment score
8.8
Polyspace Code Prover enhances automotive code safety by detecting critical issues and supporting ISO 26262 compliance with ease.
 

Categories and Ranking

Cisco SecureX [EOL]
Average Rating
9.0
Reviews Sentiment
8.2
Number of Reviews
13
Ranking in other categories
No ranking in other categories
Polyspace Code Prover
Average Rating
7.8
Reviews Sentiment
8.8
Number of Reviews
6
Ranking in other categories
Application Security Tools (18th)
 

Featured Reviews

Alon K - PeerSpot reviewer
Gives our customers visibility and they don't have to go multiple management consoles anymore
One of the examples is related to forensics. The forensics are amazing because when you have enrichment, and the solutions talk with each other, when you need it, you have the ability to know everything in the organization: when, why, whatever. With just one click you have information from email, from the endpoint, from the web. Let's say that tomorrow morning, you have a ransom[ware] attack in your organization and you would like to know from which email it came, or where the customer saved the file, even though the incident didn't occur at the same moment. With SecureX, you have Cisco Threat Response inside. [With] one click, you get all of the flow. That's amazing value. That also releases resources for our customers. The customers don't have to connect many systems and try to register the event on each system, or to go to the SIEM and do a correlation. That's the one-stop shop for the customers, and that's amazing.
Pradeep Panchakarla - PeerSpot reviewer
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 will be very easy for them to test their use cases. Otherwise, Polyspace generates a random main file and executes all the functions randomly.
report
Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
816,406 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Computer Software Company
40%
Financial Services Firm
7%
Manufacturing Company
6%
Government
5%
Manufacturing Company
37%
Computer Software Company
13%
Transportation Company
5%
Financial Services Firm
4%
 

Company Size

By reviewers
Large Enterprise
Midsize Enterprise
Small Business
No data available
 

Questions from the Community

Ask a question
Earn 20 points
What do you like most about Polyspace Code Prover?
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,...
What needs improvement with Polyspace Code Prover?
I'm still trying to use constraints with range propagation, but I can't get it to work properly, and I haven't found any documentation. It require support. There could be an issue with range propag...
 

Also Known As

Kenna.AppSec, Kenna.VI
No data available
 

Learn More

Video not available
 

Overview

 

Sample Customers

NHS, Rackspace, UNC Pembroke, University of North Carolina at Charlotte, Missing Piece
Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools. Updated: November 2024.
816,406 professionals have used our research since 2012.