DoubleCheck Code Analysis

DoubleCheck Code Analysis

Green Hills Software
+
+

Related Products

  • Service Center
    122 Ratings
    Visit Website
  • Teradata VantageCloud
    1,105 Ratings
    Visit Website
  • 3Q
    14 Ratings
    Visit Website
  • Josys
    204 Ratings
    Visit Website
  • Interfacing Integrated Management System (IMS)
    71 Ratings
    Visit Website
  • SiteDocs
    276 Ratings
    Visit Website
  • Expedience Software
    33 Ratings
    Visit Website
  • MaintainX
    2,492 Ratings
    Visit Website
  • ERA EHS Software
    38 Ratings
    Visit Website
  • HSI Donesafe
    155 Ratings
    Visit Website

About

Modern automobiles, aircraft, and other complex industrial products are composed of multiple electronic components, perfectly integrated to provide critical functionality. Underlying these advanced systems are millions of lines of embedded software code that ensure their flawless operation under every operating scenario. Ansys SCADE Suite drastically reduces safety certification costs by simplifying critical control application design and automating verification, qualifiable/certified code generation, and documentation generation. In the race to launch new hybrid and electric vehicle models, Ansys SCADE has emerged as a valuable strategic tool for Subaru over the past decade, supporting the automaker’s commitment to uncompromising safety and quality. The time saved during the end-to-end development of the ECU — without sacrificing the accuracy of its control software — has been crucial to Subaru’s ability to introduce innovative new technologies.

About

When it comes to ensuring software quality, reliability, and security in today's sophisticated code bases, traditional debugging and testing methods simply fall short. Automated tools such as static source code analyzers are more effective in finding defects that could result in buffer overflows, resource leaks, and other security and reliability issues. This class of defects are often not detected by compilers during standard builds, run-time testing, or typical field operation. While other source code analyzers run as separate tools, DoubleCheck is an integrated static analyzer, built into the Green Hills C/C++ compiler. DoubleCheck leverages accurate and efficient analysis algorithms that have been tuned and field-proven in 30+ years of producing embedded development tools. DoubleCheck can be used as a single integrated tool to perform compilation and defect analysis in the same pass.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

IT teams looking for an Embedded Software Development solution which provides linkage to requirements management, model-based design and verification

Audience

Developers seeking an integrated code analyzer to test and find app defects that could result in buffer overflows

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

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

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

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Ansys
United States
www.ansys.com/products/embedded-software/ansys-scade-suite

Company Information

Green Hills Software
Founded: 1982
United States
www.ghs.com/products/doublecheck.html

Alternatives

Alternatives

Helix QAC

Helix QAC

Perforce
Helix QAC

Helix QAC

Perforce
DoubleCheck

DoubleCheck

DoubleCheck Software
CodeSonar

CodeSonar

CodeSecure
YNQ

YNQ

Visuality Systems
C-STAT

C-STAT

IAR Systems
Timesys Secure by Design

Timesys Secure by Design

Timesys Corporation
Klocwork

Klocwork

Perforce

Categories

Categories

Integrations

C
C++
MULTI IDE
Rapita Verification Suite

Integrations

C
C++
MULTI IDE
Rapita Verification Suite
Claim Ansys SCADE Suite and update features and information
Claim Ansys SCADE Suite and update features and information
Claim DoubleCheck Code Analysis and update features and information
Claim DoubleCheck Code Analysis and update features and information