start_session
Initiate a new GDB debugging session and obtain a session ID needed for subsequent debugging commands.
Instructions
Start a new GDB debug session. Returns session_id required by all other tools.
For time-travel (record/replay) debugging use rr_record + start_replay_session instead.
binary: path to the executable (can also be set later via exec_command("file /path")) args: command-line arguments passed to the inferior when run is called cwd: working directory for GDB (defaults to current directory)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| cwd | No | ||
| args | No | ||
| binary | No |