Searching in clang/docs/ScalableStaticAnalysis/user-docs