1. 4

  2. 4

    Here’s a snippet that caught my attention (at the end of section 2.2.5):

    Our findings indicate that developers may provide additional information to program analyzers, in the form of specifications or annotations, in return for better results (e.g., fewer false positives, suppressed warnings). Still, 21% of the respondents are not willing to write any assertions, preconditions, postconditions, and invariants or do not know what these are.

    1. 3

      The Dont Know vs Dont Care percentages should’ve been separate in thst one. At least 4/5’s cared enough to do some annotations, though.