Searching in dev_tools/coverity_model