xmlrpc.client.dumps() skips argument validation when Python is run with -O
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 77.2k
- フォーク
- 35.9k
- PR マージ指標
- PR 指標を取得中
説明
Bug report
Bug description:
Bug description
xmlrpc.client.dumps() currently relies on assert statements to validate public API arguments.
As a result, invalid inputs are rejected in normal execution, but the validation is silently removed when Python is run with optimization (-O), causing different runtime behavior for the same API.
The documentation states that:
paramsmust be a tuple orFaultinstance.methodresponse=Trueexpects a singleton response tuple.
However, these constraints are enforced only through assert, which is removed when __debug__ is false.
Reproducer
import xmlrpc.client as xmlrpclib
for label, call in [
("list params", lambda: xmlrpclib.dumps(["x"])),
("dict params", lambda: xmlrpclib.dumps({"x": 1})),
("string params", lambda: xmlrpclib.dumps("abc")),
("multi-value response", lambda: xmlrpclib.dumps((1, 2), methodresponse=True)),
]:
try:
result = call()
except BaseException as exc:
print(label + ":", type(exc).__name__, str(exc))
else:
print(label + ": OK")
Normal execution
python repro.py
Output:
list params: AssertionError argument must be tuple or Fault instance
dict params: AssertionError argument must be tuple or Fault instance
string params: AssertionError argument must be tuple or Fault instance
multi-value response: AssertionError response tuple must be a singleton
Optimized execution
python -O repro.py
Output:
list params: OK
dict params: OK
string params: OK
multi-value response: OK
Root cause
Lib/xmlrpc/client.py currently performs argument validation using assertions:
assert isinstance(params, (tuple, Fault)), \
"argument must be tuple or Fault instance"
assert len(params) == 1, \
"response tuple must be a singleton"
When Python is executed with -O, these assertions are removed and execution proceeds into the marshalling logic, which serializes the supplied values instead of rejecting them.
Expected behavior
Public API validation should be enforced consistently regardless of optimization mode.
Invalid values should continue to be rejected when Python is run with -O.
Actual behavior
Running under -O disables validation and allows invalid inputs to be serialized.
Suggested fix
Replace the assertion-based validation with explicit runtime checks.
Possible exception types:
TypeErrorwhenparamsis neither a tuple nor aFaultinstance.ValueErrorwhenmethodresponse=Trueis used with a tuple length other than 1.
Add regression tests to ensure behavior remains consistent under optimization.
Notes
I searched for existing issues and did not find an open report covering this specific -O behavior difference for xmlrpc.client.dumps().
This appears to be a public API consistency bug rather than a security issue.
CPython versions tested on:
CPython main branch
Operating systems tested on:
Windows
Linked PRs
- gh-151533
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
Lib/xmlrpc/client.py を読み、通常の実行と -O を指定した実行の両方で、提供されたスクリプトを使って動作を再現してください。dumps() 内の検証を調べ、その後、最適化時にも動作の一貫性が保たれるよう、無効なパラメーターと複数値のレスポンスに対する回帰テストを追加してください。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- api
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 停滞
- 明瞭さ
- 明確に書かれている
- 初心者へのやさしさ
- 35/100