DoubleCheck Code AnalysisGreen Hills Software
|
INTEGRITY RTOSGreen Hills Software
|
|||||
Related Products
|
||||||
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.
|
About
INTEGRITY uses hardware memory protection to isolate and protect embedded applications. Secure partitions guarantee each task the resources it needs to run correctly and fully protect the operating system and user tasks from errant and malicious code, including denial-of-service attacks, worms, and Trojan horses. To help developers jumpstart product development, Green Hills Software offers an extensive array of middleware integrated and validated for INTEGRITY, including FFS, FAT, NFS, and journaling file systems, IPv4/IPv6 host and routing networking stacks, FIPS 140-2 certified Suite B enabled embedded encryption library, and more. Each of these middleware packages has been pre- integrated and tested to run seamlessly with and take full advantage of INTEGRITY’s advanced RTOS capabilities. For selected industries, Green Hills Software offers platforms that provide a completely integrated ecosystem. Each platform includes the INTEGRITY RTOS as well as development tools.
|
|||||
Platforms Supported
Windows
Not Supported
Mac
Not Supported
Linux
Supported
Cloud
Supported
On-Premises
Not Supported
iPhone
Not Supported
iPad
Not Supported
Android
Not Supported
Chromebook
Not Supported
|
Platforms Supported
Windows
Supported
Mac
Not Supported
Linux
Supported
Cloud
Supported
On-Premises
Not Supported
iPhone
Not Supported
iPad
Not Supported
Android
Supported
Chromebook
Not Supported
|
|||||
Audience
Developers seeking an integrated code analyzer to test and find app defects that could result in buffer overflows
|
Audience
Companies, developers and anyone in need of a real-time operating system to isolate and protect embedded applications
|
|||||
Support
Phone Support
Supported
24/7 Live Support
Not Supported
Online
Supported
|
Support
Phone Support
Supported
24/7 Live Support
Not Supported
Online
Supported
|
|||||
API
Offers API
Not Supported
|
API
Offers API
Not Supported
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
No information available.
Free Version
Not Supported
Free Trial
Not Supported
|
Pricing
No information available.
Free Version
Not Supported
Free Trial
Not Supported
|
|||||
Reviews/
|
Reviews/
|
|||||
Training
Documentation
Supported
Webinars
Not Supported
Live Online
Not Supported
In Person
Supported
|
Training
Documentation
Supported
Webinars
Not Supported
Live Online
Not Supported
In Person
Not Supported
|
|||||
Company InformationGreen Hills Software
Founded: 1982
United States
www.ghs.com/products/doublecheck.html
|
Company InformationGreen Hills Software
Founded: 1982
United States
www.ghs.com/products/rtos/integrity.html
|
|||||
Alternatives |
Alternatives |
|||||
|
|
|
|||||
|
|
|
|||||
|
|
|
|||||
|
|
||||||
Categories |
Categories |
|||||
Integrations
MULTI IDE
Supported
AdaMULTI IDE
Not Supported
C
Supported
C++
Supported
Green Hills Optimizing Compilers
Not Supported
RaimaDB
Not Supported
Rapita Verification Suite
Not Supported
TimeMachine
Not Supported
|
Integrations
MULTI IDE
Supported
AdaMULTI IDE
Supported
C
Not Supported
C++
Not Supported
Green Hills Optimizing Compilers
Supported
RaimaDB
Supported
Rapita Verification Suite
Supported
TimeMachine
Supported
|
|||||
|
|
|