Runtime verification for C code via a GCC plugin architecture. - View it on GitHub