Debuggers and Checkers
debugger checkers gdb rr LiveRecorder valgrind sanitizers cppcheck coverity
Table of contents
Introduction
Debbugers
- GDB
- strace
Time travel
- rr
- LiveRecorder
Dynamic checkers
- valgrind
- sanitizers
Static checkers
- cppcheck
- coverity
Signal and ptrace
On receipt of signal:
- Terminate (potentially dumping core) Ignore
- Stop (Suspend)
- Run signal handler
- If ptraced - stop (tracing stop)
Tracer gets complete control of what signals hit the tracee