Runtime Memory Leak Detection and Memory Debugging for C and C++ Applications

Microsoft Azure

All of Parasoft’s technologies can be deployed into Microsoft Azure. In addition, Parasoft Virtualize is available as a prebuilt VM on Microsoft Azure and a build task on Microsoft Azure DevOps.

Clang

Parasoft C/C++test supports Clang compiler. The integration enables development teams in performing static code analysis, creating and executing unit and integration tests, and performing structural code coverage. Users can scan their projects for compliance with coding standards such as MISRA C/C++, AUTOSAR C++ 14, or CERT C/C++, and other standards, to pinpoint real bugs with static analysis. Also perform unit testing, integration testing, regression testing, and perform structural code coverage to automate compliance with industry standards such as ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 and other safety and security process standards.

CMake

Parasoft C/C++test integrates with CMake to help developers construct their custome build environment and include Parasoft’s automated software testing solutions. Users can scan their projects for compliance with coding standards such as MISRA C/C++, AUTOSAR C++ 14, or CERT C/C++, and other standards, to pinpoint real bugs with static analysis. Also perform unit testing, integration testing, regression testing, and perform structural code coverage to automate compliance with industry standards such as ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 and other safety and security process standards.

git

Parasoft provides built-in support integration for the Git source control system. Git can be plugged into your Parasoft test environment, enabling users with the ability to manage their project files, source code and test files.

DTP, when connected to source control systems, displays source code within its Explorers, allowing users to seamlessly inspect static analysis violations, test failures, and coverage results.

GNU GCC

Parasoft C/C++test supports GNU GCC compilers and GNU make. The integration enables development teams in performing static code analysis, creating and executing unit and integration tests, and performing structural code coverage. Users can scan their projects for compliance with coding standards such as MISRA C/C++, AUTOSAR C++ 14, or CERT C/C++, and other standards, to pinpoint real bugs with static analysis. Also perform unit testing, integration testing, regression testing, and perform structural code coverage to automate compliance with industry standards such as ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 and other safety and security process standards.

GNU Make

Enables GNU make to run Parasoft C/C++test code analysis and/or execute tests during the build process.

Jenkins

Enables teams to integrate Continuous Testing into their CI infrastructure.

The Parasoft Findings plugin enables results from Parasoft analysis and testing tools to be integrated into Jenkins reports and gate build and release pipelines based on those test results.

The Parasoft Environment Manager plugin enables the rapid configuration of virtual test environments and execution of test jobs.

Atlassian Jira

Enables organizations to associate risk to business requirements by correlating static analysis findings and test results with requirements, user-stories, and defects. Test results can be both sent to Jira and aggregated within Parasoft DTP for full bidirectional traceability. In addition, creation of new issues and defects can be automated based on review and triage of test failures and static analysis violations in Parasoft DTP.

Ninja

Enables Ninja to run Parasoft Jtest and Insure++ code analysis and/or execute tests during the build process.

Qt

Parasoft does not directly integrate into the Qt IDE, but users can test their Qt code by using our cpptesttrace tool to scan your build and create a C/C++test project by importing the generated bdf file. Users will then have the ability to perform static analysis, unit testing, integration testing, collect code metrics, and code coverage of Qt code with Parasoft C/C++test and Insure++.

Apache Subversion (SVN)

Parasoft provides built-in support integration for the Subversion source control system. Subversion can be plugged into your Parasoft test environment, enabling users with the ability to manage their project files, source code and test files.

DTP, when connected to source control systems, displays source code within its Explorers, allowing users to seamlessly inspect static analysis violations, test failures, and coverage results.

Microsoft Visual Studio

Enables C/C++test and dotTEST to perform static code analysis, create and execute unit tests, and analyze code coverage reports directly in the Microsoft Visual Studio IDE. Users can scan their projects for compliance with safety standards (e.g., MISRA, AUTOSAR), and security standards (e.g., OWASP, CWE, CERT, PCI DSS, UL 2900) and pinpoint real bugs with static analysis, identify regressions with automated unit tests, and find code coverage gaps.

The Insure++ integration into the MSVS IDE helps developers debug and find erratic programming and memory-access errors, such as heap corruption, rogue threads, memory leaks, array out of bounds, invalid pointers, and more. Insure++ also offers code coverage analysis which provides visual identification of sections of code that have and have not been executed. This capability allows users to focus on testing code that hasn’t yet been exercised.