M110: Professional developers enjoy being punished by static analyzers