CAST Highlight vs Polyspace Code Prover comparison

The compared CAST and MathWorks solutions aren't in the same category. CAST is ranked #9 in SCA , with an average rating of 8.2, 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.0% 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

476 Views
341 Comparison Views

100% willing to recommend

Polyspace Code Prover

Read 6 Polyspace Code Prover reviews

1,688 Views
1,076 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: October 2024).

Buyer's Guide

Software Composition Analysis (SCA)

October 2024

Download the complete report

Helped 814,572 peers since 2012

Categories and Ranking

CAST Highlight

Average Rating

8.0

Reviews Sentiment

7.2

Number of Reviews

Ranking in other categories

Software Composition Analysis (SCA) (9th)

Polyspace Code Prover

Average Rating

7.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.8% compared to last year.
Polyspace Code Prover, on the other hand, focuses on Application Security Tools, holds 1.0% 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

Jul 30, 2024

Offers efficient portfolio management through enhanced application insights

I have used CAST Highlight in combination with application portfolio management, application lifecycle management, going cloud-ready, and other applications. My main occupation involves software completion analysis and working with various solutions like firewalls and storage One of the…

Read full review

Pradeep Panchakarla

Functional Safety Engineer at a manufacturing company with 5,001-10,000 employees

Nov 29, 2023

A reliable solution that provides excellent features and detects memory corruption

We use the solution to check the runtime issues of our programming The product runs the code based on our application loop and tries to find run time overflows of the variable and out-of-boundary memory issues. The product detects memory corruptions. It also detects undefined memory access and…

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

"It offers good performance."

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

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

"Polyspace Code Prover is a very user-friendly tool."

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

"The product detects memory corruptions."

Cons

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

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

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

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

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

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

"The tool has some stability issues."

"Using Code Prover on large applications crashes sometimes."

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

"Automation could be a challenge."

Pricing and Cost Advice

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

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

"CAST Highlight is an expensive solution."

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

"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

814,572 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Financial Services Firm

21%

Computer Software Company

18%

Insurance Company

10%

Manufacturing Company

37%

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?

CAST Highlight is an expensive solution. On a scale from one to ten, where one is cheap, and ten is expensive, I rate the solution's pricing an eight or nine out of ten.

See all answers

What needs improvement with CAST Highlight?

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

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 69% 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 30% of the time

Coverity vs Polyspace Code Prover

Compared 27% of the time

Klocwork vs Polyspace Code Prover

Compared 17% 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

November 2024

Download CAST Highlight product report

Buyer's Guide

Polyspace Code Prover

October 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)

October 2024

Download Free Report

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

DOWNLOAD NOW

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