Changeset 30871 in webkit for trunk/JavaScriptCore/kjs/function.h

Timestamp:

Mar 7, 2008, 11:46:33 AM (17 years ago)

Author:

[email protected]

Message:

JavaScriptCore:

Reviewed by Darin Adler.

Fixed <rdar://problem/5689093> Stricter (ES4) eval semantics

The basic rule is:

• "eval(s)" is treated as an operator that gives the ES3 eval behavior.

... but only if there is no overriding declaration of "eval" in scope.

• All other invocations treat eval as a function that evaluates a script in the context of its "this" object.

... but if its "this" object is not the global object it was
originally associated with, eval throws an exception.

Because only expressions of the form "eval(s)" have access to local
scope, the compiler can now statically determine whether a function
needs local scope to be dynamic.

• kjs/nodes.h: Added FunctionCallEvalNode. It works just like FuncationCallResolveNode, except it statically indicates that the node may execute eval in the ES3 way.
• kjs/nodes.cpp:
• kjs/nodes2string.cpp:

• tests/mozilla/expected.html: This patch happens to fix a Mozilla JS test, but it's a bit of a pyrrhic victory. The test intends to test Mozilla's generic API for calling eval on any object, but, in reality, we only support calling eval on the global object.

LayoutTests:

Reviewed by Darin Adler.

Tests for <rdar://problem/5689093> Stricter (ES4) eval semantics

• fast/js/eval-cross-window-expected.txt: Added.
• fast/js/eval-cross-window.html: Added.
• fast/js/eval-keyword-vs-function-expected.txt: Added.
• fast/js/eval-keyword-vs-function.html: Added.
• fast/js/eval-overriding-expected.txt: Added.
• fast/js/eval-overriding.html: Added.

Tests to make sure not to regress security:

• http/tests/security/resources/xss-eval2.html: Added.
• http/tests/security/resources/xss-eval3.html: Added.
• http/tests/security/xss-eval-expected.txt: Added.
• http/tests/security/xss-eval.html: Added.

I removed these tests because we no longer match the behavior they
expected, and the new tests are more comprehensive:

• fast/js/window-eval-context-expected.txt: Removed.
• fast/js/window-eval-context.html: Removed.
• fast/js/window-eval-tearoff-expected.txt: Removed.
• fast/js/window-eval-tearoff.html: Removed.

File:

• trunk/JavaScriptCore/kjs/function.h (modified) (3 diffs)

trunk/JavaScriptCore/kjs/function.h

@@ -126 +126 @@
   class PrototypeFunction : public InternalFunctionImp {
   public:
-    typedef KJS::JSValue* (*JSMemberFunction)(ExecState*, JSObject*, const List&);
+    typedef JSValue* (*JSMemberFunction)(ExecState*, JSObject* thisObj, const List&);
 
     PrototypeFunction(ExecState*, int len, const Identifier&, JSMemberFunction);
@@ -138 +138 @@
 
 
+  // Just like PrototypeFunction, but callbacks also get passed the JS function object.
+  class PrototypeReflexiveFunction : public InternalFunctionImp {
+  public:
+    typedef JSValue* (*JSMemberFunction)(ExecState*, PrototypeReflexiveFunction*, JSObject* thisObj, const List&);
+
+    PrototypeReflexiveFunction(ExecState*, FunctionPrototype*, int len, const Identifier&, JSMemberFunction);
+
+    virtual JSValue* callAsFunction(ExecState* exec, JSObject* thisObj, const List&);
+
+  private:
+    const JSMemberFunction m_function;
+  };
+
     // Global Functions
-    JSValue* globalFuncEval(ExecState*, JSObject*, const List&);
+    JSValue* globalFuncEval(ExecState*, PrototypeReflexiveFunction*, JSObject*, const List&);
     JSValue* globalFuncParseInt(ExecState*, JSObject*, const List&);
     JSValue* globalFuncParseFloat(ExecState*, JSObject*, const List&);
@@ -154 +167 @@
 #endif
 
+    JSValue* eval(ExecState*, const ScopeChain&, JSVariableObject*, JSGlobalObject*, JSObject* thisObj, const List& args);
+
     static const double mantissaOverflowLowerBound = 9007199254740992.0;
     double parseIntOverflow(const char*, int length, int radix);