Polyspace Code Prover vs Semmle QL comparison

Cancel
You must select at least 2 products to compare!
MathWorks Logo
1,776 views|1,181 comparisons
Semmle Logo
335 views|286 comparisons
Comparison Buyer's Guide
Executive Summary

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

Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools.
To learn more, read our detailed Application Security Tools Report (Updated: March 2024).
765,386 professionals have used our research since 2012.
Featured Review
Anonymous User
Use Semmle QL?
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
Information Not Available
report
Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
765,386 professionals have used our research since 2012.
Questions from the Community
Top Answer: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… more »
Top Answer:There are two main areas of improvement. * False negatives and false positives. * The speed of the validation itself. Another area I see for improvement is scalability, particularly when dealing with… more »
Ask a question

Earn 20 points

Ranking
Views
1,776
Comparisons
1,181
Reviews
5
Average Words per Review
656
Rating
7.6
Views
335
Comparisons
286
Reviews
0
Average Words per Review
0
Rating
N/A
Comparisons
Learn More
MathWorks
Video Not Available
Semmle
Video Not Available
Overview

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.

Our mission is to help everyone involved in software engineering create secure and trustworthy code without slowing down.

Combining the fields of databases, programming languages, data science and security we're making the world’s software truly searchable, so that even deep meaningful questions about security can be answered, helping software organizations better understand their code, engineering processes and people.

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
Top Industries
VISITORS READING REVIEWS
Manufacturing Company34%
Computer Software Company15%
Transportation Company7%
Retailer5%
VISITORS READING REVIEWS
Computer Software Company16%
Financial Services Firm16%
Comms Service Provider12%
Government10%
Company Size
VISITORS READING REVIEWS
Small Business14%
Midsize Enterprise9%
Large Enterprise76%
VISITORS READING REVIEWS
Small Business20%
Midsize Enterprise8%
Large Enterprise73%
Buyer's Guide
Application Security Tools
March 2024
Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools. Updated: March 2024.
765,386 professionals have used our research since 2012.

Polyspace Code Prover is ranked 23rd in Application Security Tools with 5 reviews while Semmle QL is ranked 38th in Application Security Tools. Polyspace Code Prover is rated 7.6, while Semmle QL is rated 0.0. The top reviewer of Polyspace Code Prover writes "A stable solution for developing software components". On the other hand, Polyspace Code Prover is most compared with SonarQube, Coverity, Klocwork, CodeSonar and Fortify on Demand, whereas Semmle QL is most compared with SonarQube, Fortify on Demand and Checkmarx.

See our list of best Application Security Tools vendors.

We monitor all Application Security Tools 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.