deep-roots learning program · module 03
Module 03 — Software bugs: the taxonomy of failure
5 chapters · ~15k words · the four families and the machinery that finds them
Every chapter: first principles, What insiders know, a See it yourself lab, connections, and a quiz with worked answers.
01
Spec vs behavior, state-space explosion, the four families, cost curves.
→
02
Overflow, UAF, double-free, uninitialized — their shapes in real diffs.
→
03
Data races, TOCTOU, deadlock, livelock, priority inversion.
→
04
Overflow, promotion traps, float money bugs, encoding, dates.
→
05
Fuzzing from first principles, sanitizers inside, bisect, post-mortems.
→
the exam
fin
Every chapter, worked answers behind the fold.
→