Such assertions are nice, but easier done with normal assert(). No need for a plugin. Much better is formal verification though, which I do on all my container

Such assertions are nice, but easier done with normal assert(). No need for a plugin. Much better is formal verification though, which I do on all my containers. cbmc is your friend.