Hi, Clang<br><br>Here is a small patch for StreamChecker  to check the double close of fp. <br><br>man fclose:<br><div style="margin-left: 40px;"><span style="color: rgb(0, 0, 153);">The behaviour of fclose() is undefined if the stream parameter is an illegal pointer, or is a descriptor already passed to a  previous  invocation of fclose().</span><br>
<br></div>It adds several states to file descriptor(just like what already done in MallocChecker).<br><br>I'll appreciate it if there are any advice about this patch.<br><br>-- <br>Best regards!<br><br>
Lei Zhang<br>