<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"><style>body { line-height: 1.5; }body { font-size: 10.5pt; font-family: ????; color: rgb(0, 0, 0); line-height: 1.5; }</style></head><body>
<div><span></span>Hi, Dear cfe-dev,</div><div><br></div><div>For Clang Static Analyzer, we are interested in it very much. I'm planning to implements such checking ways for my projects:</div><div><br></div><div>(1) When there are two same defects in the same function, we hope to find and report them all out, for example, if there are two divided by zero errors:</div><div><br></div><div>int main() {</div><div> int n = 0;</div><div> int a = 10;</div><div> a = a/n; // Clang Static Analyzer will report div zero bug here, and will stop to check the following codes.</div><div> a = 10/n; // I hope to report this div zero bug also, how to do?</div><div>}</div><div><br></div><div>(2) I hope to continue to complete the static analysis, even if the source code has compling errors, how to deal with it?</div><div><br></div><div>Regards,</div><div><br></div>
<hr style="WIDTH: 210px; HEIGHT: 1px" align="left" color="#b5c4df" size="1">
<div><span>jiancai.hao@isemp.com</span></div>
</body></html>