This commit is contained in:
lzhan011 2026-10-08 12:31:11 -05:00 • committed by GitHub
commit bea628f7df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 36 additions and 0 deletions

View file

@ -31,6 +31,7 @@ from RestrictedPython.Eval import default_guarded_getitem
from RestrictedPython.Guards import (
full_write_guard,
guarded_iter_unpack_sequence,
guarded_unpack_sequence,
safer_getattr,
)
from RestrictedPython.transformer import copy_locations
@ -137,6 +138,12 @@ def build_sandbox_globals() -> dict[str, object]:
"_getitem_": default_guarded_getitem,
"_getiter_": budgeted_iter,
"_iter_unpack_sequence_": guarded_iter_unpack_sequence,
# RestrictedPython emits _unpack_sequence_ for every tuple-unpacking
# target that is not a for-loop target -- ``a, b = pair``,
# ``a, *rest = seq``, ``with x as (a, b)`` -- and, like _inplacevar_,
# ships no default. Without it those statements compile and then raise
# NameError the first time the guardrail runs.
"_unpack_sequence_": guarded_unpack_sequence,
"_write_": full_write_guard,
"_inplacevar_": _inplacevar_,
"_budget_ok_": budget_ok,

View file

@ -846,3 +846,32 @@ def test_config_without_timeout_uses_the_default():
_initialize_from_config("custom-code-default-timeout", {}).execution_timeout
== DEFAULT_EXECUTION_TIMEOUT_SECONDS
)
@pytest.mark.parametrize(
("body", "expected"),
[
# Every one of these compiles fine and then raises
# "NameError: name '_unpack_sequence_' is not defined" at call time when
# the guard is missing from the sandbox globals.
(" a, b = inputs['pair']\n return a + b\n", 3),
(" a, (b, c) = inputs['nested']\n return a + b + c\n", 6),
(" a, *rest = inputs['seq']\n return rest\n", [2, 3]),
(" with inputs['ctx'] as (a, b):\n return a + b\n", 15),
],
)
def test_tuple_unpacking_runs(body: str, expected):
"""Ordinary tuple unpacking must work inside a guardrail, not NameError."""
class _Ctx:
def __enter__(self):
return (7, 8)
def __exit__(self, *args):
return False
guardrail = _compile("def apply_guardrail(inputs, request_data, input_type):\n" + body)
fn = guardrail._compiled_function
assert fn is not None
inputs = {"pair": (1, 2), "nested": (1, (2, 3)), "seq": [1, 2, 3], "ctx": _Ctx()}
assert fn(inputs, {}, "request") == expected