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
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||||
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
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/
|
Reviews/
|
|||||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||||
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
AdaMULTI IDE
C
C++
Green Hills Optimizing Compilers
RaimaDB
Rapita Verification Suite
TimeMachine
|
Integrations
MULTI IDE
AdaMULTI IDE
C
C++
Green Hills Optimizing Compilers
RaimaDB
Rapita Verification Suite
TimeMachine
|
|||||
|
|
|