The vulnerability stems from improper handling of default parameter expressions in CPS-transformed methods. The commit 41cb4e0 introduced the InitialExpressionExpander to generate overloaded methods and process initial parameter expressions. Before this fix, these expressions were not subjected to CPS transformation and sandbox checks. The visitMethod function in CpsTransformer.java was responsible for method transformation but lacked this critical expansion step, allowing sandbox bypass via default parameter values. The added test cases in CpsTransformer2Test.java and SandboxInvoker2Test.java confirm that default parameter expressions were previously not properly intercepted.