Catching Bugs Early: Validating C++ Contracts with Static Analysis [video]

There has been a lot of confusion on this recently so i thought i would post this for people to learn for themselves.