With Green Hills Software’s DoubleCheck integrated static analyzer, you can effortlessly eliminate software bugs early in development, when they can be fixed more easily. DoubleCheck quickly analyzes large pieces of code spanning many source files and identifies potential problems in your code, including:

• access an element beyond an variable’s declared or allocated bounds
• resource leak through pointer (i.e., memory leak)
• NULL pointer reference
• access into previously de-allocated memory
• attempt to de-allocate stack memory

The TimeMachine suite extends the range of the MULTI IDE by providing a window into the complex interactions in software that can result in bugs, performance problems, and testing nightmares. By presenting this information in easy-to-understand displays, TimeMachine enables developers to quickly navigate through trace data and produce better code in less time.

Using the TimeMachine debugger, developers can readily explore program execution history, including: viewing register and memory values, finding specific data points, examining RTOS data structures, and debugging virtual memory applications. The TimeMachine suite also includes the following tools:

• The PathAnalyzer—a view of an application’s call stack over time, helps you identify where the program diverts from the expected execution path.
• The EventAnalyzer—a view of operating system events over time, helps you track down deadlocks between tasks and other undesirable behavior in your system.
• The Performance Profiler—code coverage tools that use TimeMachine data to determine which instructions, blocks, and source lines have not been executed during testing. Using this information, you can augment your test suite to exercise all of your code.