Hello.<div>I&#39;m a poor person looking for an advice.</div><div>I know this is the right place since all of you have huge expertise in formal verification.</div><div>I&#39;m not a smart person (maybe I&#39;m stupid), but I&#39;m interested in open source contribution using C language. </div><div><br></div><div>Is there any solution to write C code free from undefined behavior and vulnerability without paying for any tools?</div>