core という名前のファイルが dbx を起動するディレクトリに存在する場合、このファイルはデフォルトでは読み取られません。コアファイルは明示的に指定する必要があります。プログラムがコアをダンプしたときにどこで実行されていたかを確認するには、where コマンドを使用してください。
$ dbx program_name core
コアファイルをデバッグする場合は、変数と式を評価して、プログラムがクラッシュした時点でのその値を確認することもできますが、関数呼び出しを行った式を評価することはできません。