"No way to prevent this" say users of only language where this regularly happens
xeiaso.net
xeiaso.net
It’s been a while since I’ve looked, but the rust frameworks for STM32 are so much harder to use for directly interacting with memory mapped registers and DMA.
Ada/SPARK would be another option but it doesn’t get any press nowadays, and I doubt there is much support from MCU vendors given that they don’t support the trendy languages.
- https://blog.adacore.com/ada-on-any-arm-cortex-m-device-in-j...