One way to do that could be with frama-c [1]. It allows you to put the checks in comments that are interpreted prior to C compilation. See the example here [2].

One way to do that could be with frama-c [1]. It allows you to put the checks in comments that are interpreted prior to C compilation. See the example here [2]. 1. https://frama-c.com/ https://frama-c.com/ 2. https://frama-c.com/html/acsl.html https://frama-c.com/html/acsl.html