News for hackers. Stuff that matters.

A comment on Show HN: Rust, ARM Cortex M, and a Generated HAL. Parent comment

Re:Show HN: Rust, ARM Cortex M, and a Generated HAL by pjmlp on Tuesday September 27, 2016 @04:00AM (#12588052)
Because of this "In my world memory safety is simply not an issue, because we don't allocate dynamically".

In C, memory safety is always an issue, due to how array and strings are handled via pointers without any sort of validation.

Thanks for clarifying your tooling, nice to see you care.

It would be good if more developers would care to use Frama-C.

[ Parent | on HN ]
Re:Show HN: Rust, ARM Cortex M, and a Generated HAL by S_I on Tuesday September 27, 2016 @04:42AM (#12588174)
Ah, i see. Of course it is an issue, but it is not an issue ;-).
[ Parent | on HN ]