Skip to content

Cannot search the code from VSCode Search tab (Crtl+Shift+F) #4172

Description

@gelven4sec

Describe the bug
I cannot search the code from the VSCode Search tab (Crtl+Shift+F), when the CodeQL database is mounted in the current workspace through "Add Database Source to Workspace".

Version
CodeQL:

CodeQL extension version: 1.17.5 
CodeQL CLI version: 2.23.0 
Platform: linux x64

VSCode:

Version: 1.105.0
Commit: 03c265b1adee71ac88f833e065f7bb956b60550a
Date: 2025-10-09T19:24:35.992Z
Electron: 37.5.1
ElectronBuildId: undefined
Chromium: 138.0.7204.251
Node.js: 22.19.0
V8: 13.8.258.32-electron.0
OS: Linux x64 6.17.1-arch1-1

To reproduce

  1. Open the CodeQL tab and select database
  2. Right click on the selected database and click on "Add Database Source to Workspace"
  3. Bonus bug: Re-select the database because VSCode switched the context to a workspace
  4. Observe in the "Explorer" tab that the database source is well mounted has "[db source archive]" in your newly created workspace
  5. Right click on this mounted folder and click on "Find in Folder..." (or press Crtl+Shift+F)
  6. Try to search any piece or code that is supposed to be in the database source

Expected behavior
After trying to search some code in the source, we are supposed to get the same results as if the source were mounted has normal folder, rather then a CodeQL database archive.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    VSCodebugSomething isn't working

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions