mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 04:46:22 +00:00
FREE_SET_NULL makes extra assignment of NULL for pointers in stack or dynamic memory that is going to be freed. FREE_SET_NULL is useful for pointers that can be used in future.