DoubleCheck
DoubleCheck Risk Management system is a powerful, cloud-based platform for managing enterprise risks independently or in an integrated governance, compliance, and audit suite. Highly flexible and fully configurable, DoubleCheck’s Enterprise Risk Management software enables all stakeholders to identify, manage, and rate diverse risks that arise from various sources. Some key benefits of DoubleCheck Risk Management system include policy and document management, testing, issue creation, and the ability to carry out risk surveys to establish status. Record, monitor and review vendors or partners that interact with a firm. Vendors and suppliers are critical to your business’s success. It is important that we know everything about them and can also be prepared in case these third parties are not up to expectations or fail to perform, which can have a negative effect on your operations, profitability, and good reputation.
Learn more about DoubleCheck
Green Hills Optimizing Compilers
As the pace of microprocessor innovation continues to accelerate, application developers know they can rely on Green Hills Compilers to unlock the hardware's full potential and realize maximum performance and functional safety in their next-generation applications. Green Hills Compilers use the most advanced optimizations to maximize your program's performance even within strict size constraints. For example, our CodeFactor™ optimization speeds your program's execution and reduces its size by removing redundant segments of code via subroutine calls and tail merges. Static basing provides the same benefits (faster speed, smaller size) by grouping data items to significantly reduce the number of load address operations. Every one of our optimizations, whether it's our own innovation or an industry standard, is meticulously implemented. Continuing three decades of engineering excellence, we painstakingly research and then test each one against hundreds of benchmarks.
Learn more about Green Hills Optimizing Compilers
CodeSonar
CodeSonar employs a unified dataflow and symbolic execution analysis that examines the computation of the complete application. By not relying on pattern matching or similar approximations, CodeSonar's static analysis engine is extraordinarily deep, finding 3-5 times more defects on average than other static analysis tools. Unlike many software development tools, such as testing tools, compilers, configuration management, etc., SAST tools can be integrated into a team's development process at any time with ease. SAST technologies like CodeSonar simply attach to your existing build environments to add analysis information to your verification process. Like a compiler, CodeSonar does a build of your code using your existing build environment, but instead of creating object code, CodeSonar creates an abstract model of your entire program. From the derived model, CodeSonar’s symbolic execution engine explores program paths, reasoning about program variables and how they relate.
Learn more about CodeSonar
Klocwork
Klocwork static code analysis and SAST tool for C, C++, C#, Java, and JavaScript identifies software security, quality, and reliability issues helping to enforce compliance with standards. Built for enterprise DevOps and DevSecOps, Klocwork scales to projects of any size, integrates with large complex environments, a wide range of developer tools, and provides control, collaboration, and reporting for the entire enterprise. This has made Klocwork the preferred static analyzer that keeps development velocity high while enforcing continuous compliance for security and quality. Use Klocwork static application security testing (SAST) for DevOps (DevSecOps). Our security standards identify security vulnerabilities, helping to find and fix security issues early and proving compliance to internationally recognized security standards. Klocwork integrates with CI/CD tools, containers, cloud services, and machine provisioning making automated security testing easy.
Learn more about Klocwork