Examples code for analyses that detect bugs