Endicheck: Dynamic Analysis for Detecting Endianness Bugs. - Roman Kápl; Pavel Parízek (TACAS (2), 2020)