diff --git a/javascript/ql/test/ApiGraphs/property-read-from-argument/VerifyAssertions.expected b/javascript/ql/test/ApiGraphs/property-read-from-argument/VerifyAssertions.expected new file mode 100644 index 00000000000..e69de29bb2d diff --git a/javascript/ql/test/ApiGraphs/property-read-from-argument/VerifyAssertions.ql b/javascript/ql/test/ApiGraphs/property-read-from-argument/VerifyAssertions.ql new file mode 100644 index 00000000000..b9c54e26072 --- /dev/null +++ b/javascript/ql/test/ApiGraphs/property-read-from-argument/VerifyAssertions.ql @@ -0,0 +1 @@ +import ApiGraphs.VerifyAssertions diff --git a/javascript/ql/test/ApiGraphs/property-read-from-argument/index.js b/javascript/ql/test/ApiGraphs/property-read-from-argument/index.js new file mode 100644 index 00000000000..33abe27d2c6 --- /dev/null +++ b/javascript/ql/test/ApiGraphs/property-read-from-argument/index.js @@ -0,0 +1,9 @@ +exports.assertNotNull = function (x) { + if (x === null) + throw new TypeError(); +} + +exports.foo = function(x) { + exports.assertNotNull(x); + sink(x.f); /* !use (member f (parameter 0 (member assertNotNull (member exports (module property-read-from-argument))))) */ /* use (member f (parameter 0 (member foo (member exports (module property-read-from-argument))))) */ +} diff --git a/javascript/ql/test/ApiGraphs/property-read-from-argument/package.json b/javascript/ql/test/ApiGraphs/property-read-from-argument/package.json new file mode 100644 index 00000000000..e91910ec15c --- /dev/null +++ b/javascript/ql/test/ApiGraphs/property-read-from-argument/package.json @@ -0,0 +1,3 @@ +{ + "name": "property-read-from-argument" +} \ No newline at end of file