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

Polyspace Code Prover vs Semmle QL comparison

 

Comparison Buyer's Guide

Executive Summary
 

Categories and Ranking

Polyspace Code Prover
Ranking in Application Security Tools
18th
Average Rating
7.8
Number of Reviews
6
Ranking in other categories
No ranking in other categories
Semmle QL
Ranking in Application Security Tools
41st
Average Rating
0.0
Number of Reviews
0
Ranking in other categories
No ranking in other categories
 

Mindshare comparison

As of November 2024, in the Application Security Tools category, the mindshare of Polyspace Code Prover is 1.0%, up from 0.7% compared to the previous year. The mindshare of Semmle QL is 0.1%, down from 0.2% compared to the previous year. It is calculated based on PeerSpot user engagement data.
Application Security Tools
 

Featured Reviews

Pradeep Panchakarla - PeerSpot reviewer
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…
Use Semmle QL?
Share your opinion

Quotes from Members

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

Pricing and Cost Advice

"We use the paid version."
Information not available
report
Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
814,572 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Manufacturing Company
37%
Computer Software Company
13%
Transportation Company
5%
Financial Services Firm
4%
No data available
 

Company Size

By reviewers
Large Enterprise
Midsize Enterprise
Small Business
No data available
No data available
 

Questions from the Community

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...
Ask a question
Earn 20 points
 

Learn More

Video not available
Video not available
 

Overview

 

Sample Customers

Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
NASA Jet Propulsion Laboratory (JPL), Murex, Trafigura, Dell, Dropbox, Nordea, Citi, Credit Suisse
Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools. Updated: October 2024.
814,572 professionals have used our research since 2012.