Tweaked the ending a bit to add an extra paragraph about the types of bugs that static analysers find.