<div dir="ltr">Hi,<div><br></div><div>I wrote a checker similar to the  SimpleStreamChecker except that the close function that moves the state of the stream to released,  takes a second parameter, a callback, for instance</div><div><br></div><div>close(FILE *, mycallback). </div><div><br></div><div>When the stream moves to release state, the callback is executed. </div><div><br></div><div>The "close" function is defined externally so that the checker cannot reason on it except using the rules I give it in checkPostCall callback. How can I make the analyzer  aware that the callback has to be executed when the state move to release?</div><div><br></div><div>Thanks for any help,</div><div><br></div><div>Paul</div></div>