Together with colleagues from University of Nebraska Lincoln and TRDDC I am conducting an experimental study. The study has been approved by an ethical review board.
We are evaluating the impact of a post-processing technique on the effort required to analyse warnings of static analysis tools. These warnings are usually related to the range of values a variable can take, e.g., can it be zero or null, as to alert developer for possible zero division or null pointer dereference. As part of this evaluation we would like to know how C programmers are inspecting warnings generated by static analysis tools.

The study involves answering questionnaire and performing programming tasks.

Time required: 1.5-2 hours, and participants will receive $8.00/hour in the form of an Amazon gift card.