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/

2. https://frama-c.com/html/acsl.html