Safe API Framework
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
Loading...
Searching...
No Matches
String Module - Architecture
  • Bounded string operations via length-limited wrappers over standard libc.
  • No unbounded operations (strcpy, strcat, sprintf). All operations check
  • bounds and return status codes.

Core Functions

  • sapi_strncpy() - Bounded copy
  • sapi_strncat() - Bounded append
  • sapi_strnlen() - Bounded length
  • sapi_strncmp() - Bounded compare
  • sapi_snprintf() - Bounded format

MISRA Rule 21.6

  • ✓ No strcpy, strcat, sprintf
  • ✓ All bounds-checked
  • ✓ Status return codes
  • */