Adds proto test

formalsec · Jan 23, 2024 · 8a886f9 · 8a886f9
1 parent 880672f
commit 8a886f9
Show file tree

Hide file tree

Showing 3 changed files with 43 additions and 0 deletions.
diff --git a/test/ecma-sl/symbolic/js/__proto__.js b/test/ecma-sl/symbolic/js/__proto__.js
@@ -0,0 +1,6 @@
+let obj = {};
+console.log(obj.constructor.prototype.__proto__);
+let proto = obj.__proto__;
+console.log(proto);
+// proto.foo = "bar";
+// console.log(({}).foo);
diff --git a/test/ecma-sl/symbolic/js/dune b/test/ecma-sl/symbolic/js/dune
@@ -0,0 +1,5 @@
+(cram
+ (deps
+  %{bin:ecma-sl}
+  __proto__.js))
+
diff --git a/test/ecma-sl/symbolic/js/test_proto.t b/test/ecma-sl/symbolic/js/test_proto.t
@@ -0,0 +1,32 @@
+Test object prototype:
+  $ dune exec -- ecma-sl symbolic __proto__.js
+  The file has been saved!
+  "obj"
+  "GetValue"
+  ("R", "V", "$loc_7426", "console", false)
+  "GetValue"
+  ("R", "P", "$loc_7475", "log", false)
+  "GetValue"
+  ("R", "V", "$loc_7426", "obj", false)
+  "GetValue"
+  ("R", "P", "$loc_7615", "constructor", false)
+  "GetValue"
+  ("R", "P", "$loc_86", "prototype", false)
+  "GetValue"
+  ("R", "P", "$loc_63", "__proto__", false)
+      warning : ToPrimitive: missing a return statement!
+  "undefined"
+  "GetValue"
+  ("R", "V", "$loc_7426", "obj", false)
+  "GetValue"
+  ("R", "P", "$loc_7615", "__proto__", false)
+  "proto"
+  "GetValue"
+  ("R", "V", "$loc_7426", "console", false)
+  "GetValue"
+  ("R", "P", "$loc_7475", "log", false)
+  "GetValue"
+  ("R", "V", "$loc_7426", "proto", false)
+      warning : ToPrimitive: missing a return statement!
+  "undefined"
+    path cond :