Insure++ is an automated runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficiencies in memory usage. Errors such as memory corruption, memory leaks, access outside of array bounds, buffer overruns, usage of invalid and NULL pointers, and the like often go undetected during normal testing, only to result in application crashes in the field. Insure++ also performs coverage analysis and memory usage visualization.
During testing, Insure++ checks all types of memory references, including those to static (global), stack, and shared memory — both in user’s code and in third party libraries.
Errors that Insure++ detects include:
Corrupted heap and stack memory
Use of uninitialized variables and objects
Array and string bounds errors on heap and stack
Use of dangling, NULL, and uninitialized pointers
All types of memory allocation and free errors or mismatches
All types of memory leaks
Type mismatches in global declarations, pointers, and function calls
Some varieties of dead code (compile-time)
To learn more about Insure++ click on our website.
Detection of memory corruption on heap and stack
Detection of uninitialized variables, pointers, and objects
Detection of memory leaks and other memory allocation/free errors
STL checking** for proper usage of STL containers and related memory errors
Compile-time checks for type- and size-related errors
Runtime tracing of function calls
GUI and command line interface
Memory error checking in 3rd party static and dynamic libraries
Direct interfaces with Visual Studio debugger
**Available for any Unix users with GCC 3.0 and above.
Finds memory errors before they become runtime problems
Finds common errors during 64 bit porting
Helps optimize memory usage of applications
Reduces development and support costs
Easily integrates with regression test suites in “smoke alarm” mode
Provides detailed stack traces of errors to help understand their causes
Leider gibt es für diesen Aussteller kein deutsches Firmenprofil.
Parasoft Embedded, a division of Parasoft, develops and markets embedded development tools and solutions that leverage proven software verification methods to achieve greater productivity, software quality and standards compliance (ISO 26262 & ASIL, IEC 61508 & SIL, FDA & IEC 62304, EN 50128, MISRA, MISRA 2004, MISRA C++ 2008, DO-178B, JSF and more). Parasoft Embedded, with its Quality Solution, helps developers to code smarter and test faster by capturing human intelligence and converting it into repeatable processes.
Parasoft Embedded provides a centralized, comprehensive platform to achieve functional safety goal through—static code analysis, automated unit testing, coverage analysis, traceability, component and regression testing. Parasoft is recognized by software development professionals as the leader in software development lifecycle automation. By integrating software development management, quality lifecycle management, and dev/test environment management, Parasoft helps teams deliver better software faster. Since 1987, over 10,000 companies—including 58% of the Fortune 500—have turned to Parasoft to ensure that quality software can be produced consistently and efficiently.
Parasoft is an active contributor to various industry development initiatives and organizations (OPENCOSS, AUTOSAR, GENIVI, etc) that promise benefit to software industry.