CAST Highlight vs Polyspace Code Prover comparison

The compared CAST and MathWorks solutions aren't in the same category. CAST is ranked #15 in SCA , with an average rating of 8.0, and holds a 1.0% mindshare in the category. MathWorks is ranked #18 in AS , with an average rating of 7.8, and holds a 1.1% mindshare. Additionally, 100% of CAST users are willing to recommend the solution, compared to 83% of MathWorks users who would recommend it.

CAST Highlight

Read 6 CAST Highlight reviews

471 Views
329 Comparison Views

100% willing to recommend

Polyspace Code Prover

Read 6 Polyspace Code Prover reviews

1,645 Views
1,048 Comparison Views

83% willing to recommend

CAST Highlight

Polyspace Code Prover

Comparison Buyer's Guide

Download the report

Executive Summary

We performed a comparison between CAST Highlight and Polyspace Code Prover based on real PeerSpot user reviews.

Find out what your peers are saying about Black Duck, Veracode, Snyk and others in Software Composition Analysis (SCA).

To learn more, read our detailed Software Composition Analysis (SCA) Report (Updated: December 2024).

Buyer's Guide

Software Composition Analysis (SCA)

December 2024

Download the complete report

Helped 824,067 peers since 2012

Categories and Ranking

CAST Highlight

Average Rating

8.0

Reviews Sentiment

7.3

Number of Reviews

Ranking in other categories

Software Composition Analysis (SCA) (15th)

Polyspace Code Prover

Average Rating

7.8

Reviews Sentiment

8.8

Number of Reviews

Ranking in other categories

Application Security Tools (18th)

Mindshare comparison

CAST Highlight and Polyspace Code Prover aren’t in the same category and serve different purposes. CAST Highlight is designed for Software Composition Analysis (SCA) and holds a mindshare of 1.0%, up 0.9% compared to last year.
Polyspace Code Prover, on the other hand, focuses on Application Security Tools, holds 1.1% mindshare, up 0.7% since last year.

Software Composition Analysis (SCA)

Application Security Tools

Featured Reviews

Chris Van Poele

Owner at a comms service provider with 501-1,000 employees

Offers efficient portfolio management through enhanced application insights

One of the advantages of using CAST Highlight is that it provides a clear overview of the entire portfolio. It allows me to see the overall quality of my environment and determine where improvements are needed. It also aids in the early detection of trends and can be useful in managing applications within the organization.

Read full 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 will be very easy for them to test their use cases. Otherwise, Polyspace generates a random main file and executes all the functions randomly.

Read full review

Quotes from Members

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

Pros

"CAST Highlight provides a clear overview of the role portfolio and allows users to assess the overall quality of the environment. Users can see where improvements are needed and follow up on trends of the application."

"The way it tells you which codebase is more ready for the cloud and which codebase is less ready is very valuable. It works seamlessly with most languages."

"The most valuable features of the CAST Highlight are the interface and there are three notations that are very simple to understand and communicate with."

"The most valuable features of CAST Highlight are automation and speed."

"CAST Highlight is easy to use and has a good dashboard."

"It offers good performance."

"The outputs are very reliable."

"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."

"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 is a very user-friendly tool."

Cons

"The ease of configuration and customization could be improved in CAST Highlight."

"Its price should be better. It is a pretty costly tool. They have two products: CAST Highlight and CAST AIP. I would expect CAST Highlight to have the Help dashboard and the Engineering dashboard. These dashboards are currently a part of CAST AIP, and if these are made available in CAST Highlight, customers won't have to use two different products all the time."

"The reports that describe the issues of concern are rather abstract and the issues should be more clearly described to the user."

"There could be potential improvements or additional features added to CAST Highlight to make it better."

"There's a bit of a learning curve at the outset."

"CAST Highlight could improve to allow us to comment and do a deep analysis by ourselves."

"Automation could be a challenge."

"The tool has some stability issues."

"One of the main disadvantages is the time it takes to initiate the first run."

"I'd like the data to be taken from any format."

"Using Code Prover on large applications crashes sometimes."

Pricing and Cost Advice

"Basic support is included with the standard licensing feed but it can be upgraded for an additional cost."

"It is a pretty costly tool. A lot of customers are resistant to using it."

"CAST Highlight is an expensive solution."

"CAST Highlight is an expensive solution. However, CAST Highlight is less expensive than the CAST AIP, but it remains too expensive and the professional services from CAST are also too expensive. The high price is part of the problem with the CAST solutions."

"We use the paid version."

See which vendors are best for you

Use our free recommendation engine to learn which Software Composition Analysis (SCA) solutions are best for your needs.

See recommendations

824,067 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Financial Services Firm

21%

Computer Software Company

18%

Manufacturing Company

Insurance Company

Manufacturing Company

38%

Computer Software Company

13%

Transportation Company

Financial Services Firm

Company Size

By reviewers

Large Enterprise

Midsize Enterprise

Small Business

No data available

Questions from the Community

What do you like most about CAST Highlight?

The most valuable features of CAST Highlight are automation and speed.

See all answers

What is your experience regarding pricing and costs for CAST Highlight?

The pricing of CAST Highlight was not considered expensive or cheap, and no specific comment was made about the setup cost.

See all answers

What needs improvement with CAST Highlight?

There could be potential improvements or additional features added to CAST Highlight to make it better.

See all answers

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,...

See all answers

What is your experience regarding pricing and costs for Polyspace Code Prover?

We use the paid version.

See all answers

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...

See all answers

Comparisons

SonarQube Server (formerly SonarQube) vs CAST Highlight

Compared 70% of the time

Black Duck vs CAST Highlight

Compared 6% of the time

Veracode vs CAST Highlight

Compared 5% of the time

GitLab vs CAST Highlight

Compared 5% of the time

Checkmarx One vs CAST Highlight

Compared 4% of the time

More CAST Highlight Competitors

SonarQube Server (formerly SonarQube) vs Polyspace Code Prover

Compared 29% of the time

Coverity vs Polyspace Code Prover

Compared 28% of the time

Klocwork vs Polyspace Code Prover

Compared 16% of the time

CodeSonar vs Polyspace Code Prover

Compared 9% of the time

Parasoft SOAtest vs Polyspace Code Prover

Compared 5% of the time

More Polyspace Code Prover Competitors

Product Reports

Buyer's Guide

CAST Highlight

December 2024

Download CAST Highlight product report

Buyer's Guide

Polyspace Code Prover

December 2024

Download Polyspace Code Prover product report

Learn More

CAST

Video not available

MathWorks

Overview

CAST Highlight is a SaaS software intelligence product for performing rapid application portfolio analysis. It automatically analyzes source code of hundreds of applications in a week for Cloud Readiness, Software Composition Analysis (Open Source risks), Resiliency, and Technical Debt. Objective software insights from automated source code analysis combined with built-in qualitative surveys for business context enable more informed decision-making about application portfolios.

CAST is the software intelligence category leader. CAST technology can see inside custom applications with MRI-like precision, automatically generating intelligence about their inner workings - composition, architecture, transaction flows, cloud readiness, structural flaws, legal and security risks. It’s becoming essential for faster modernization for cloud, raising the speed and efficiency of Software Engineering, better open source risk control, and accurate technical due diligence. CAST operates globally with offices in North America, Europe, India, China. Visit www.castsoftware.com.

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, generated code, or a combination of the two. Each operation is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.

Sample Customers

Wells Fargo, Bank of NY Mellon, Northern Trust, Microsoft, Amazon, IBM, BMW, AT&T, US Army, US Air Force, US Navy, John Hancock, Marsh & McLennan, Ernst & Young, PwC, Volkswagen, Boston Consulting Group, London Stock Exchange, Telefonica, Saur France, Total Energies France, SNCF

Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center

Buyer's Guide

Software Composition Analysis (SCA)

December 2024

Download Free Report

Find out what your peers are saying about Black Duck, Veracode, Snyk and others in Software Composition Analysis (SCA). Updated: December 2024.

DOWNLOAD NOW

824,067 professionals have used our research since 2012.

We monitor all Software Composition Analysis (SCA) reviews to prevent fraudulent reviews and keep review quality high. We do not post reviews by company employees or direct competitors. We validate each review for authenticity via cross-reference with LinkedIn, and personal follow-up with the reviewer when necessary.