OpenText Static Application Security Testing Polyspace Code Prover

Related Products

  • Aikido Security
    4.6 out of 5 stars 367 Ratings
    Visit Website for Aikido Security
  • Parasoft
    4.6 out of 5 stars 152 Ratings
    Visit Website for Parasoft
  • TrustInSoft Analyzer
    4.3 out of 5 stars 6 Ratings
    Visit Website for TrustInSoft Analyzer
  • Jscrambler
    4.4 out of 5 stars 41 Ratings
    Visit Website for Jscrambler
  • Reflectiz
    4.7 out of 5 stars 34 Ratings
    Visit Website for Reflectiz
  • Astra Pentest
    4.6 out of 5 stars 296 Ratings
    Visit Website for Astra Pentest
  • Feroot
    4.9 out of 5 stars 33 Ratings
    Visit Website for Feroot
  • Rocket z/Assure VAP
    5.0 out of 5 stars 1 Rating
    Visit Website for Rocket z/Assure VAP
  • Canditech
    5.0 out of 5 stars 111 Ratings
    Visit Website for Canditech
  • MuukTest
    4.6 out of 5 stars 34 Ratings
    Visit Website for MuukTest
OpenText Static Application Security Testing:

About

OpenText Static Application Security Testing (SAST) identifies and remediates security vulnerabilities in source code early in the software development lifecycle. It supports extensive language coverage and integrates seamlessly with popular CI/CD tools such as Jenkins, Azure DevOps, Jira, and Visual Studio. The platform uses advanced static code analysis and AI-driven insights to prioritize risks and reduce false positives, enabling developers to focus on fixing critical vulnerabilities efficiently. With its customizable code analysis and rule sets, it helps reduce development time by catching issues early. OpenText SAST complies with industry standards like OWASP and offers flexible deployment options including SaaS, private cloud, and on-premises. This comprehensive approach enhances application security without sacrificing development speed or accuracy.
Polyspace Code Prover:

About

Polyspace Code Prover is a static analysis tool designed to prove the absence of critical runtime errors in C and C++ code without executing it. By utilizing formal methods, it analyzes all code paths and input scenarios to identify potential issues such as overflows, divide-by-zero errors, and out-of-bounds accesses. It provides insights into variables' ranges and identifies unreachable code, helping developers optimize software performance and ensure quality. Polyspace Code Prover supports safety standards like IEC 61508, ISO 26262, and DO-178C, making it suitable for industries requiring rigorous software certification.
OpenText Static Application Security Testing:

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported
Polyspace Code Prover:

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported
OpenText Static Application Security Testing:

Audience

Development and security teams seeking a comprehensive, AI-enhanced static application security testing solution integrated into CI/CD pipelines to identify and remediate vulnerabilities early
Polyspace Code Prover:

Audience

Companies searching for a solution to verify software interprocedural, control, and data flow behavior
OpenText Static Application Security Testing:

Support

Phone Support Supported
24/7 Live Support Not Supported
Online Supported
Polyspace Code Prover:

Support

Phone Support Supported
24/7 Live Support Not Supported
Online Supported
OpenText Static Application Security Testing:

API

Offers API Not Supported
Polyspace Code Prover:

API

Offers API Not Supported
OpenText Static Application Security Testing:

Screenshots and Videos

Polyspace Code Prover:

Screenshots and Videos

OpenText Static Application Security Testing:

Pricing

No information available.
Free Version Not Supported
Free Trial Supported
Polyspace Code Prover:

Pricing

No information available.
Free Version Not Supported
Free Trial Not Supported
OpenText Static Application Security Testing:

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software
Polyspace Code Prover:

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software
OpenText Static Application Security Testing:

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported
Polyspace Code Prover:

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Supported
OpenText Static Application Security Testing:

Company Information

OpenText
Founded: 1991
Canada
www.opentext.com/products/static-application-security-testing
Polyspace Code Prover:

Company Information

MathWorks
Founded: 1984
United States
www.mathworks.com/products/polyspace-code-prover.html
OpenText Static Application Security Testing:

Alternatives

Parasoft

Parasoft

4.6 out of 5 stars
Polyspace Code Prover:

Alternatives

OpenText Static Application Security Testing:
Kiuwan Code Security

Kiuwan Code Security

Kiuwan
4.5 out of 5 stars
Polyspace Code Prover:
CodeSonar

CodeSonar

CodeSecure
OpenText Static Application Security Testing:
SonarQube Cloud

SonarQube Cloud

SonarSource
Polyspace Code Prover:
OpenText Static Application Security Testing:
Polyspace Code Prover:
Helix QAC

Helix QAC

Perforce
OpenText Static Application Security Testing:
Polyspace Code Prover:
OpenText Static Application Security Testing:

Categories

Polyspace Code Prover:

Categories

OpenText Static Application Security Testing:

Application Security Features

Analytics / Reporting Supported
Open Source Component Monitoring Supported
Source Code Analysis Supported
Third-Party Tools Integration Supported
Training Resources Supported
Vulnerability Detection Supported
Vulnerability Remediation Supported
OpenText Static Application Security Testing:

Integrations

SonarQube Server Supported
Azure DevOps Server Supported
Bamboo Supported
Bitbucket Supported
Bugzilla Supported
C Not Supported
C++ Not Supported
Gradle Supported
HivePro Uni5 Supported
Jenkins Supported
Jira Supported
Mend.io Supported
Nucleus Supported
OpenText Software Delivery Management Supported
Slack Supported
Snowflake Supported
Sonatype Nexus Repository Supported
Swagger Supported
VectorCAST Not Supported
Veracode Not Supported
Polyspace Code Prover:

Integrations

SonarQube Server Supported
Azure DevOps Server Not Supported
Bamboo Not Supported
Bitbucket Not Supported
Bugzilla Not Supported
C Supported
C++ Supported
Gradle Not Supported
HivePro Uni5 Not Supported
Jenkins Not Supported
Jira Not Supported
Mend.io Not Supported
Nucleus Not Supported
OpenText Software Delivery Management Not Supported
Slack Not Supported
Snowflake Not Supported
Sonatype Nexus Repository Not Supported
Swagger Not Supported
VectorCAST Supported
Veracode Supported
OpenText Static Application Security Testing:
Claim OpenText Static Application Security Testing and update features and information
Claim OpenText Static Application Security Testing and update features and information
Polyspace Code Prover:
Claim Polyspace Code Prover and update features and information
Claim Polyspace Code Prover and update features and information