Linked Presentation: μSBS: Static Binary Sanitization of Bare-metal Embedded Devices for Fault Observability