<div dir="ltr"><div>test1.c is the test file i wrote (attached)</div><div><br></div><div>scan-build and scan-view pictures attached</div><div><br></div><div><div><img src="cid:ii_k8b6emr01" alt="image.png" width="507" height="245"><br></div></div><div><div><img src="cid:ii_k8b6ficr2" alt="image.png" width="507" height="291"><br></div></div><div><div><img src="cid:ii_k8b6hfzo3" alt="image.png" width="481" height="507"><br></div></div><div><br></div></div>