Searching in dev/coverity_model