When dealing with errors in firmware, one encounters formal explanations of concepts like "undefined behavior," "storage duration," "variable lifetime," "initialization," and "dereferencing", whether scrolling Stack Overflow, arguing with your LLM of choice, or studying C standards at university, or discussing over an implementation detail with a colleague. These concepts are presented theoretically, rigorously, as abstract … Continue reading Exploiting C undefined behavior to blink an LED