Review safety-critical embedded C code - ISR/shared-data races, volatile correctness, stack and timing hazards, defensive patterns for automotive ECUs