Debugging

Theory

• How Does a Debugger Work? @ stackoverflow

Principles

Debugger

Debugging in Clion

Breakpoints

• Line breakpoint Line breakpoints are triggered when the program reaches the specified line of source code, before it is executed.
• Conditional breakpoint
• Exception breakpoint Exception breakpoints are triggered when the specified exception is thrown or caught, depending on settings.

Watches

Evaluating Expressions

Stepping Commands

• Step Into (F7)
• Step Over (F8)
• Force Step Into (``): step into a method of a class not to be stepped into
• Force Step Over (``): jump over the method call ignoring the breakpoints on the way
• Force Run to Cursor (``): jump to the cursor position ignoring existing breakpoints on the way

Debugging with GDB

Debugging in XCode

Tools

• Static analysis tools for security (David A. Wheeler)

• awesome-cpp#debug

• Clang Static Analyzer

• Clion Code Analysis

• Cppcheck

  It has a plugin for Clion.

• Valgrind

  The valgrind program can be used to detect some (but not all) common errors in C programs that use pointers and dynamic storage allocation.`

  • Valgrind in Clion
  • Using Valgrind to Find Memory Leaks and Invalid Memory Use

• Reactis

  The runtime errors detected by Reactis for C include:

  • Overflow Numeric calculations which produce a result too large to represent.
  • Divide by Zero Dividing a numeric value by zero.
  • Invalid Shift Shifting an integer value by an amount which produces an undefined result according to the C standard.
  • Memory Errors Accessing an invalid memory region in a way which produces an undefined result, such as accessing an array outside its bounds or accessing heap-allocated memory after the memory has been freed.
  • Uninitialized Data Access Accessing memory before the memory has been initialized, so that the result of the access is undefined under C semantics.