quitting a debugger based on the bdb module does not always stop code execution
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 77.2k
- フォーク
- 35.9k
- PR マージ指標
- PR 指標を取得中
説明
Bug report
Bug description:
I encountered a bug while working with the Pyzo Python IDE, and the bug itself is located in the bdb module of Python's standard library. The same bug occurs when using the IDLE Python IDE, as it also uses bdb for the debugger.
When the debugger pauses code execution, e.g. at a breakpoint, the user can decide to quit debugging, which normally stops the execution of further code in the script to be debugged. But this does not work when the breakpoint is inside the "try" block of a try-except-clause and when exceptions are caught and ignored.
The Bdb class internally stops debugging by raising a BdbQuit error. But BdbQuit is like almost all exceptions derived from the Exception class, and therefore the script to be debugged can catch and dismiss the stop:
https://github.com/python/cpython/blob/1fc2b38d63170dd065efc2bc60e861f32c033b17/Lib/bdb.py#L15-L18
I think, it would be safer to change the definition of the BdbQuit class to:
class BdbQuit(BaseException):
"""Exception to give up completely."""
Though, it does not prevent the problem when there is an except clause like except: in the code to be debugged, but this is discouraged anyways.
As far as I have seen, the class definition of BdbQuit basically has not changed since Python v2.3, and so it predates BaseExceptions which where added to Python v2.5 via PEP 352.
Here is an example code to reproduce the problem and demonstrate the fix:
"""
* Save this code somewhere as a Python script (e.g. "/tmp/myscript.py").
* Launch IDLE (the Python IDE).
* Open this Python script in IDLE.
* Set breakpoints in the two code lines where indicated via comments.
You can do this via the context menu when right-clicking on the line.
* Switch to the Python Shell window in IDLE (via menu "Run -> Python Shell".
* Open the Debugger (via menu "Debug -> Debugger" in the Python Shell).
* In the IDLE editor window, run the script (via menu "Run -> Run Module").
* Press the "Go" button in the "Debug Control" window.
* Execution stops at the line with the first breakpoint.
* Pressing the "Quit" button now would not execute any of the remaining lines.
* But we press "Go" instead of "Quit" to reach the second breakpoint.
* Now, really press "Quit", and see that script code execution is NOT stopped.
There are some further text outputs from the print functions in the Shell
window.
* Enable monkey-patching by changing "do_monkeypatch = False" to "do_monkeypatch = True".
Or edit file "bdb.py" in Python's lib directory:
change "class BdbQuit(Exception):" to "class BdbQuit(BaseException):"
* Do all the previous steps again, and you will see, that there is no more
code execution in the script when quitting debugging at the second breakpoint.
"""
do_monkeypatch = False
if do_monkeypatch:
import bdb
if issubclass(bdb.BdbQuit, Exception):
class BdbQuit(BaseException): pass
bdb.BdbQuit = BdbQuit
print('this is before the first breakpoint')
a = 1 # <-- set a breakpoint in this line
print('this is after the first breakpoint')
try:
print('this is before the second breakpoint')
a = 2 # <-- set a breakpoint in this line
print('this is after the second breakpoint, when continuing execution')
except Exception as e:
print('this is after the second breakpoint, when quitting the debugger')
print('got an exception, but ignoring it:', repr(e))
print('deleting important files :-(')
CPython versions tested on:
3.14
Operating systems tested on:
Linux
Linked PRs
- gh-149337
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
Issue でリンクされている Lib/bdb.py の BdbQuit 定義から始め、次に try ブロック内に breakpoint を置いた状態で、提供されている IDLE の再現スクリプトを実行します。例外が捕捉された場合でも、デバッガーを終了するとスクリプトの残りのコードが実行されないことを確認できれば完了です。開始する前に、リンクされている PR gh-149337 を確認してください。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- devtools
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100