Rust’s guarantees have little to nothing to do with malloc.
Ferrocene isn’t DO-178C certified… yet. But it has similar certifications in other industries.
Ferrocene isn’t DO-178C certified… yet. But it has similar certifications in other industries.
Also, tools follows DO-330 and are qualified. It's their output that should comply with DO-178.