Searching in tools/codeql