Debugging support full debugging support with gdb (the gnu debugger) or insight (a gdb gui frontend). Array bounds checking (only enabled by the -exx command-line option). Null pointer …

Array bounds checking (only enabled by the -exx command-line option). Null pointer checking (same as above).