The static analyser has no concept that ownership of memory may pass elsewhere when a pointer is passed to certain functions.  So, I added an attribute, provisionally called analyzer_free, to tell the analyzer to treat a function argument as 'free' for the purposes of malloc analysis.  Effectively this makes the memory somebody else's problem.<div>
<br></div><div>Andrew</div>