Lines Matching full:bugs
72 <p>The Clang Static Analyzer is a source code analysis tool that finds bugs in
150 to automatically find bugs. The idea is similar in spirit to compiler warnings
152 further and find bugs that are traditionally found using run-time debugging
156 from basic syntactic checkers to those that find deep bugs by reasoning about
173 bugs, we ask you to bear in mind a few points when using it.</p>
179 as well as the kinds of bugs it will find. While there are fundamental
186 automatically find deep program bugs is about trading CPU time for the hardening
193 bugs require in the worst case exponential time.</p>
197 algorithms to reduce the amount of work it must do to find bugs.</p>
201 <p>Static analysis is not perfect. It can falsely flag bugs in a program where
213 <p>Static analysis is not magic; a static analyzer can only find bugs that it
214 has been specifically engineered to find. If there are specific kinds of bugs