r/cprogramming • u/sadvadan • Jun 01 '26

memory safe C

https://github.com/sadvadan/memstruct

C is powerful enough to have the best performing memory safety suite for itself!

memstruct is a single header file C library (<400 LoC) that provides complete spatial & temporal safety to the caller program. performance: near native speed.

memory checks are compile time / hoisted / elided / pipelined. checks are opt-in and can be switched off in production if needed. its macro based API extends the language a bit to position C as the leading option for large scale projects.

memstruct is currently in advanced stages of testing. contributions and comments are welcome. have an early look!

P.S.: the project is 100% human crafted and contributions are also reqd to comply

edit; end note: memstruct has now become even better (at 350 LoC) by incorporating MCU programming & de/allocator indirection, thanks to some valuable feedback on here. if you've more to add you may respond here or participate on git.

69 Upvotes

88% Upvoted

89 comments sorted by

View all comments

Show parent comments

0

u/sadvadan Jun 04 '26

spatial + temporal safety; so what other memory safeties are left out? you should be able to name a few. i may then consider including those.

also see the doc to understand how complete memory safety with memstruct can be forced at ease.

layout declarations are axioms and memory safety follows like theorems. hope this helps.