Don't Miss the End: Preventing Unsafe End-of-File Comparisons. - Charles Zhuo Chen; Werner Dietl (NFM, 2018)