DEBUG tools

Debug tools

1. Using a debugger

The standard tool is gdb (GNU Debugger) : https://www.gnu.org/software/gdb/

2. Using memcheck

OPTION="--leak-check=full --show-leak-kinds=all"
OPTION="$OPTION --track-origins=yes"
OPTION="$OPTION --num-callers=200"
OPTION="$OPTION --show-reachable=yes"
#OPTION="$OPTION --gen-suppressions=all"
OPTION="$OPTION --log-file=milk.memcheck.log"
OPTION="$OPTION --suppressions=$MILK_ROOT/milk.memcheck.supp"
OPTION="$OPTION --max-stackframe=4442392"

valgrind ${OPTION} ./milkprogram