Linked Presentation: What IF Is Not Enough? Fixing Null Pointer Dereference With Contextual CheckYour Firmware Has Arrived: A Study of Firmware Update Vulnerabilities