• Home
  • Onapsis vs. Polyspace Code Prover

Onapsis vs Polyspace Code Prover comparison

Cancel
You must select at least 2 products to compare!
Onapsis Logo
Onapsis
Read 1 Onapsis review
407 views|279 comparisons
100% willing to recommend
MathWorks Logo
Polyspace Code Prover
Read 5 Polyspace Code Prover reviews
1,751 views|1,137 comparisons
80% willing to recommend
Comparison Buyer's Guide
Download the complete report
Buyer's Guide
Application Security Tools
May 2024
Executive Summary

We performed a comparison between Onapsis and Polyspace Code Prover 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: May 2024).
Download the complete report
771,063 professionals have used our research since 2012.
Featured Review
Anonymous User
It checks for and reports vulnerabilities on all SAP systems at the OS, DB and SAP levels.
It has hardened our SAP system by providing details of vulnerabilities in our SAP landscape. Before installing and configuring the Onapsis... Read more →
Anonymous User
Enhanced our code verification process but it crashes on large applications
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
  • "We use the paid version."

    • More Polyspace Code Prover Pricing and Cost Advice →

    report
    See Which Vendors Are Best For You
    Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
    See Recommendations
    771,063 professionals have used our research since 2012.
    Questions from the Community
    Ask a question

    Earn 20 points

    What do you like most about Polyspace Code Prover?
    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 »
    Read all 5 answers   →
    What is your experience regarding pricing and costs for Polyspace Code Pr...
    Top Answer:We use the paid version.
    Read all 4 answers   →
    What needs improvement with Polyspace Code Prover?
    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 »
    Read all 5 answers   →
    Ranking
    37th
    out of 74 in Application Security Tools
    Views
    407
    Comparisons
    279
    Reviews
    0
    Average Words per Review
    0
    Rating
    N/A
    23rd
    out of 74 in Application Security Tools
    Views
    1,751
    Comparisons
    1,137
    Reviews
    5
    Average Words per Review
    656
    Rating
    7.6
    Comparisons
    Learn More
    Onapsis
    MathWorks
    Video Not Available
    Overview

    Through continuous monitoring, the Onapsis Security Platform (OSP) delivers a near real-time preventative, detective and corrective approach for securing SAP systems and applications whether deployed on-premise, or in a private, public or hybrid cloud environment.

    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
    Sony, US Army, Westinghouse, AXA. Galicia, Daimler, Roche, Levi's, Siemens, ABB, KPMG, Mercardo Libre, Verizon, Bacardi, Adgas, Sicpa, Whirlpool, Leaseplan
    Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
    Top Industries
    VISITORS READING REVIEWS
    Computer Software Company20%
    Manufacturing Company14%
    Energy/Utilities Company10%
    University6%
    VISITORS READING REVIEWS
    Manufacturing Company33%
    Computer Software Company15%
    Transportation Company7%
    Retailer5%
    Company Size
    VISITORS READING REVIEWS
    Small Business12%
    Midsize Enterprise6%
    Large Enterprise82%
    VISITORS READING REVIEWS
    Small Business15%
    Midsize Enterprise9%
    Large Enterprise75%
    Buyer's Guide
    Application Security Tools
    May 2024
    Download Free Report
    Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools. Updated: May 2024.
    DOWNLOAD NOW
    771,063 professionals have used our research since 2012.

    Onapsis is ranked 37th in Application Security Tools while Polyspace Code Prover is ranked 23rd in Application Security Tools with 5 reviews. Onapsis is rated 8.0, while Polyspace Code Prover is rated 7.6. The top reviewer of Onapsis writes "It checks for and reports vulnerabilities on all SAP systems at the OS, DB and SAP levels". On the other hand, the top reviewer of Polyspace Code Prover writes "A stable solution for developing software components". Onapsis is most compared with Qualys Web Application Scanning, SonarQube, ERPScan SMART Cybersecurity Platform and PortSwigger Burp Suite Professional, whereas Polyspace Code Prover is most compared with SonarQube, Coverity, Klocwork, CodeSonar and Parasoft SOAtest.

    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.