Following, is a list of bugs we found during our study. In many cases, they have since been fixed by the relevant vendors, either directly as a result of our reports, or independently. Please let us know if you find that additional bugs have been fixed.

The configuration id in the bug description corresponds to those in our paper. The '+' and '-' signs indicate whether optimizations were turned on or off.