|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Bounded string operations via length-limited wrappers over standard libc. No unbounded operations (strcpy, strcat, sprintf). All operations check bounds and return status codes.
rte_strncpy() - Bounded copy rte_strncat() - Bounded append rte_strnlen() - Bounded length rte_strncmp() - Bounded compare rte_snprintf() - Bounded format
✓ No strcpy, strcat, sprintf ✓ All bounds-checked ✓ Status return codes