Max Schaefer
e0e6224987
Merge pull request #1298 from asger-semmle/full-mode-fixes-rc120
...
TS: Backport full-mode fixes to rc/1.20
2019-05-03 13:57:47 +01:00
Asger F
5ed3c50dbe
TS: Workaround issue with infer types
2019-05-02 13:28:30 +01:00
Asger F
c7300fa197
TS: Add workaround for 'globalThis' getProperties() crash
2019-05-02 13:28:30 +01:00
Asger F
9934996f9b
TS: Fix handling of 'export ='
2019-05-02 13:07:29 +01:00
Aditya Sharad
4121e7245b
TS extractor: Allow the Node.js runtime to be configured via environment variables.
...
`SEMMLE_TYPESCRIPT_NODE_RUNTIME` can be used to provide the path to the Node.js runtime executable.
If this is omitted, the extractor defaults to the current behaviour of looking for `node` on the PATH.
`SEMMLE_TYPESCRIPT_NODE_RUNTIME_EXTRA_ARGS` can be used to provide additional arguments to the
Node.js runtime. These are passed first, before the arguments supplied by the extractor.
These changes are designed to allow TypeScript extraction in controlled customer environments where
we cannot control the PATH, or must use custom Node.js executables with certain arguments set.
2019-04-23 15:04:14 -07:00
Asger F
fafdd5bbcd
TS: Dont extract redirect SourceFiles
2019-04-16 10:17:45 +01:00
Esben Sparre Andreasen
fd429ce639
JS: whitelist delimiter unwrapping for js/incomplete-sanitization
2019-04-12 08:38:44 +02:00
Esben Sparre Andreasen
a0ed362310
JS: add test case for js/incomplete-sanitization
2019-04-12 08:37:47 +02:00
Asger F
1a6c95c908
TS: update test expectation
2019-03-21 11:06:04 +00:00
Asger F
5768d85c7b
TS: fix trap test output
2019-03-20 12:46:52 +00:00
Asger F
8201e7ea27
TS: update trap test output
2019-03-20 10:23:28 +00:00
Asger F
aaa8bfb874
TS: allow namespace imports as types
2019-03-20 10:09:18 +00:00
Max Schaefer
77c383aee2
JavaScript: Simplify flow-summary queries.
...
Previously, `AllConfigurations.qll` would pull in (almost) all taint
tracking configurations, which has started causing OOMEs during
compilation.
I've pruned it down to only the most interesting configurations. Since
flow summaries are experimental at this point and require a bit of manual
configuration anyway, this shouldn't be much of an issue in practice.
2019-03-19 10:58:49 +00:00
semmle-qlci
e648477d14
Merge pull request #1114 from xiemaisi/js/yield-import
...
Approved by asger-semmle
2019-03-14 16:48:04 +00:00
semmle-qlci
d549a0dcb8
Merge pull request #1111 from xiemaisi/js/performance-fiddling
...
Approved by esben-semmle
2019-03-14 14:56:26 +00:00
Max Schaefer
8e52528219
JavaScript: Refactor reachableFromInput to improve join.
2019-03-14 11:53:46 +00:00
Max Schaefer
993345fb7b
JavaScript: Track Electron browser objects locally only.
2019-03-14 11:53:46 +00:00
Max Schaefer
cc8d68082e
JavaScript: Show ZipSlip results by default.
2019-03-14 08:50:47 +00:00
Max Schaefer
e2cb8c5ceb
JavaScript: Fix example in TypeBackTracker qldoc.
2019-03-13 15:20:41 +00:00
Max Schaefer
03a2204c30
JavaScript: Improve support for dynamic imports.
...
`yield import(...)` previously caused a syntax error, now it is parsed
correctly.
`parseYield` is the only place where the value of `startsExpr` matters,
so this change should not affect anything else.
2019-03-13 14:40:12 +00:00
semmle-qlci
4de297c964
Merge pull request #1072 from asger-semmle/prop-write-static-accessor
...
Approved by esben-semmle
2019-03-12 16:51:54 +00:00
semmle-qlci
669f035444
Merge pull request #1084 from asger-semmle/typescript3.3
...
Approved by esben-semmle
2019-03-12 16:34:48 +00:00
semmle-qlci
13c6f55a2e
Merge pull request #1085 from asger-semmle/extract-symbol
...
Approved by xiemaisi
2019-03-12 14:07:17 +00:00
Asger F
f2ec35c334
TS: remove unused import
2019-03-12 11:35:59 +00:00
Asger F
824a50d14e
TS: fix extraction of symbols with unusual names
2019-03-12 11:24:16 +00:00
Asger F
0f5e6b2193
TS: update TypeScript compiler version
2019-03-12 09:52:38 +00:00
Asger F
5ef6eefda3
TS: update test
2019-03-12 09:47:06 +00:00
Asger F
957db8374c
JS: Bump extractor version string
2019-03-11 16:53:52 +00:00
Asger F
146909ba13
TS: fix missing this type in method declarations
2019-03-11 16:53:25 +00:00
Asger F
f632379c44
JS: whitelist accessors in DeadStoreOfProperty
2019-03-11 16:38:08 +00:00
semmle-qlci
a2b1939319
Merge pull request #1059 from asger-semmle/ts-infinite-expansion
...
Approved by esben-semmle, xiemaisi
2019-03-11 15:52:53 +00:00
Asger F
16a2177aec
JS: update tests
2019-03-11 11:36:46 +00:00
Asger F
d7f0099426
TS: bump extractor version
2019-03-11 11:26:46 +00:00
Asger F
dc6c33dd12
TS: Fix infinite type expansion issue
2019-03-11 11:26:46 +00:00
Asger F
04a6692aed
JS: add test case
2019-03-11 09:44:59 +00:00
Jonas Jensen
a90e4a7bdf
Merge pull request #1066 from xiemaisi/fix-qhelp-backticks
...
Fix qhelp backticks
2019-03-08 19:06:48 +01:00
Max Schaefer
c74db8bbbc
JavaScript: Fix erroneous backticks in query help.
2019-03-08 15:28:03 +00:00
semmle-qlci
9dccd9f62c
Merge pull request #1050 from asger-semmle/prototype-instance-methods
...
Approved by xiemaisi
2019-03-07 16:10:29 +00:00
Max Schaefer
b85f44643a
Merge pull request #1049 from asger-semmle/js-type-tracking
...
JS: Add TypeTracking library
2019-03-07 16:09:19 +00:00
Asger F
56977b80a0
JS: update comment
2019-03-07 11:35:41 +00:00
Asger F
d4566af271
JS: update test output
2019-03-07 11:27:07 +00:00
Asger F
f21871d275
JS: relax instantiation requirement for .prototype field
2019-03-06 14:31:37 +00:00
Asger F
96f1d91150
JS: Add a new test
2019-03-06 14:31:37 +00:00
Max Schaefer
48c0949705
Merge pull request #1036 from asger-semmle/hide-implicit-ssa-defs
...
JS: Omit uninteresting nodes from path explanations
2019-03-06 13:30:11 +00:00
Asger F
732ddbcbbd
JS: Mark API as experimental
2019-03-06 13:04:34 +00:00
Asger F
81476cff0b
JS: Expand test case with call/return matching for backtracking
2019-03-06 12:58:52 +00:00
Asger F
3422fa328d
JS: Add test
2019-03-06 12:50:59 +00:00
Asger F
e6a1374218
JS: Make separate type for back-tracking types
2019-03-06 12:50:50 +00:00
Asger F
0b2c94684d
JS: Add TypeTracker library
2019-03-06 11:52:28 +00:00
Jason Reed
8829fde86b
JS: Add test for zipslip basename sanitization.
2019-03-06 09:46:41 +00:00