[Analyzer, Conf] Handle V8 native syntax

Author: DaramG

conf/V8.conf

@@ -2,7 +2,7 @@
   "engine": "V8",
   "timeout": 30,
   "engine_path": "/path/to/v8",
-  "argv": [],
+  "argv": ["--expose-gc", "--allow-natives-syntax"],
   "env": { },
   "seed_path": "/path/to/seed",
   "preproc_dir": "/path/to/pre",
@@ -21,13 +21,13 @@
     "unescape", "eval", "isFinite", "isNaN", "print", "printErr", "write",
     "read", "readbuffer", "readline", "load", "setTimeout", "quit",
     "testRunner", "version", "Realm", "performance", "Worker",
-    "SharedArrayBuffer", "Atomics", "BigInt", "WebAssembly"
+    "SharedArrayBuffer", "Atomics", "BigInt", "WebAssembly", "gc"
   ],
   "filters": [
     "load", "assert", "eval", "shouldBeFalse", "shouldNotThrow", "shouldBe",
     "shouldBeNull", "shouldBeUndefined", "shouldThrow", "shouldBeTrue",
     "shouldBeEqualToString", "crash" , "$ERROR", "Test", "tryItOut", "WScript",
-    "Function", "read", "readbuffer", "readline", "console"
+    "Function", "read", "readbuffer", "readline", "console", "%AbortJS"
   ],
   "jobs": 56
 }

src/Analyzer/CodeBrick.fs

@@ -35,10 +35,16 @@ type Context = {
 }
 
 module Context =
+  let mkIsBuiltIn conf =
+    let lists = conf.BuiltIns
+    match conf.Engine with
+    | V8 -> (fun x -> (Array.includes lists x) || (x.StartsWith ("%")))
+    | _ -> Array.includes lists
+
   let init conf = {
     Pool = Map.empty
     GuardMap = Map.empty
-    IsBuiltIn = Array.includes conf.BuiltIns
+    IsBuiltIn = mkIsBuiltIn conf
     IsFilters =
       (fun x -> Map.foranyKeys (Array.includes conf.Filters) x.NSymMap)
   }