Reactive Systems logo

Automated Testing and Validation with Reactis®

May 28, 2017
Reactis for C Plugin
Finding Runtime Errors
Find and debug
runtime errors
Spacer

The Reactis for C Plugin performs a variety of checks that flag runtime errors to help you to find, diagnose, and fix runtime errors in your S-Functions. Memory errors are particularly easy to make in C and can be very hard to debug. The Reactis for C Plugin automatically detects memory errors. A memory error occurs whenever a program reads-from or writes-to an invalid address. Some common memory errors include out-of-bounds array indexes, buffer overruns, dangling heap pointers (accessing a region of heap-allocated memory after the memory has been freed), dangling stack pointers (accessing a pointer to a local variable of a function after the function has returned) and the use of pointers cast from incorrect numeric values. If Reactis Tester detects a runtime error in an S-Function it returns a test that can be run in Reactis Simulator to show the exact sequence that leads to the error.

Spacer