Stanford CS110L: Safety in Systems Programming - View it on GitHub