Asger Feldthaus
|
a68bb9ffd1
|
JS: Ignore calls and csrf/captcha access
|
2020-01-23 15:32:05 +00:00 |
|
Asger Feldthaus
|
b1ec3e1bf2
|
JS: Add test and dont check predecessors
|
2020-01-23 14:59:03 +00:00 |
|
Asger Feldthaus
|
406c6eb981
|
JS: Sharpen missing CSRF middleware query
|
2020-01-23 14:22:49 +00:00 |
|
Erik Krogh Kristensen
|
b526a2ea0f
|
implement a model of WebSocket and ws based on the EventEmitter model
|
2020-01-22 14:46:53 +01:00 |
|
semmle-qlci
|
007b0795ec
|
Merge pull request #2636 from erik-krogh/NewSocketIO
Approved by esbena
|
2020-01-22 13:46:11 +00:00 |
|
Erik Krogh Kristensen
|
8370699344
|
add support for creating a promise with another resolved promise, e.g: Promise.resolve(otherPromise)
|
2020-01-21 20:11:27 +01:00 |
|
Erik Krogh Kristensen
|
8679132624
|
copy data from both callbacks in Promise data-flow
|
2020-01-21 18:00:06 +01:00 |
|
Erik Krogh Kristensen
|
86477a2249
|
changes based on review
|
2020-01-21 16:45:53 +01:00 |
|
Erik Krogh Kristensen
|
fe0b6a86d7
|
add data-flow steps for when Promise handlers return other promises
|
2020-01-21 16:15:18 +01:00 |
|
Erik Krogh Kristensen
|
d8b25ef5a2
|
add data-flow steps for resolved promises using pseudo-properties
|
2020-01-21 15:52:50 +01:00 |
|
Erik Krogh Kristensen
|
569ee8fc8d
|
add support for subclasses of EventEmitter
|
2020-01-21 12:08:50 +01:00 |
|
Erik Krogh Kristensen
|
026092559c
|
changes based on review
|
2020-01-20 15:53:58 +01:00 |
|
Erik Krogh Kristensen
|
6494649125
|
fix a number of FPs in js/exception-xss
|
2020-01-20 15:11:57 +01:00 |
|
Erik Krogh Kristensen
|
5c6134db99
|
a bit of self-review and an auto-format
|
2020-01-20 14:55:49 +01:00 |
|
Erik Krogh Kristensen
|
ad813ef86c
|
add flowsTo to the use of isAdditionalLoadStep
|
2020-01-20 14:16:29 +01:00 |
|
Erik Krogh Kristensen
|
b3b132c66d
|
Merge remote-tracking branch 'upstream/master' into ExceptionalPromise
|
2020-01-20 09:20:09 +01:00 |
|
Erik Krogh Kristensen
|
a25c5d7090
|
outlining a predicate to give hints about join ordering
|
2020-01-17 13:42:08 +01:00 |
|
Erik Krogh Kristensen
|
6ad62e32e0
|
copyPropertyStep works interprocedurally
|
2020-01-17 12:24:29 +01:00 |
|
Erik Krogh Kristensen
|
06e898f53b
|
only use .getALocalSource in copyPropertyStep
|
2020-01-16 16:04:45 +01:00 |
|
Erik Krogh Kristensen
|
9998059d59
|
add pragma to fix performance (same issue as in #2512)
|
2020-01-16 14:16:04 +01:00 |
|
semmle-qlci
|
4efc418e2c
|
Merge pull request #2617 from asger-semmle/prototype-pollution-utility
Approved by esbena, mchammer01
|
2020-01-16 13:02:07 +00:00 |
|
Erik Krogh Kristensen
|
4e880e2f96
|
implement SocketIO on top of the EventEmitter model
|
2020-01-16 11:02:36 +01:00 |
|
Asger F
|
7a1d068f1c
|
Update javascript/ql/src/Security/CWE-400/PrototypePollutionUtility.qhelp
Co-Authored-By: mc <42146119+mchammer01@users.noreply.github.com>
|
2020-01-16 09:47:18 +00:00 |
|
semmle-qlci
|
8128d23b6e
|
Merge pull request #2505 from erik-krogh/EventEmitter
Approved by esbena, max-schaefer
|
2020-01-16 08:47:38 +00:00 |
|
Erik Krogh Kristensen
|
a76ab39a39
|
no longer need for .getALocalSource() in custom load/store
|
2020-01-15 16:00:57 +01:00 |
|
Erik Krogh Kristensen
|
e08fc08337
|
don't use pseudo-properties for resolved promise data-flow
|
2020-01-15 14:56:58 +01:00 |
|
Erik Krogh Kristensen
|
830100d2ed
|
support interprocedural flow with custom load/store steps
|
2020-01-15 14:23:17 +01:00 |
|
Asger Feldthaus
|
6d9306366c
|
JS: ignore useless-expr in first stmt in try block
|
2020-01-15 11:49:23 +00:00 |
|
Erik Krogh Kristensen
|
d09bce5cd7
|
custom load/store steps to implement promise flow
|
2020-01-14 21:37:55 +01:00 |
|
semmle-qlci
|
3c4749be88
|
Merge pull request #2624 from asger-semmle/js-duplicate-alert-strict-mode
Approved by max-schaefer
|
2020-01-14 11:59:45 +00:00 |
|
Asger Feldthaus
|
2245882441
|
JS: Add change note and fix cwe tags
|
2020-01-14 10:53:40 +00:00 |
|
Asger Feldthaus
|
d76859b7df
|
JS: Address review comments
|
2020-01-14 10:53:00 +00:00 |
|
Asger F
|
9bd3c4a11c
|
JS: Add sanitizer for "in" exprs
|
2020-01-14 10:53:00 +00:00 |
|
Asger F
|
bd9405ab84
|
JS: Guard against more FPs
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
738123d3f5
|
JS: More sanitizers
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
f7543aec95
|
JS: Support Reflect.ownKeys
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
8af233307a
|
JS: Support enumeration through Object.entries
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
ac2f0a8e11
|
JS: Do not require flow from key -> rhs
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
96bf9db200
|
JS: Add another test and more barriers
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
bc7871078a
|
JS: Fix FPs from Object.create(null)
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
654f145772
|
JS: Add PrototypePollutionUtility query
|
2020-01-14 10:52:59 +00:00 |
|
Asger F
|
52cec25035
|
JS: Build access paths for array accesses
|
2020-01-14 10:52:59 +00:00 |
|
Asger Feldthaus
|
73e60a7400
|
JS: Ignore strict-mode-call-stack-introspection for expr stmts
|
2020-01-13 16:03:03 +00:00 |
|
Erik Krogh Kristensen
|
1619a98bc8
|
make the default registration/dispatch extend DataFlow::InvokeNode
|
2020-01-10 17:40:16 +01:00 |
|
Erik Krogh Kristensen
|
ec5896abba
|
add additional data-flow edges to data-flow related to promises
|
2020-01-10 14:12:53 +01:00 |
|
Erik Krogh Kristensen
|
87bbbd643c
|
changes based on review feedback
|
2020-01-09 16:18:32 +01:00 |
|
Erik Krogh Kristensen
|
af8b36b750
|
Merge remote-tracking branch 'upstream/master' into EventEmitter
|
2020-01-09 15:09:43 +01:00 |
|
semmle-qlci
|
f1f69ef85d
|
Merge pull request #2589 from esbena/js/ignore-duplicate-params-for-empty-functions
Approved by erik-krogh
|
2020-01-09 11:58:04 +00:00 |
|
Max Schaefer
|
308da0774d
|
Merge pull request #2525 from asger-semmle/promise-missing-await
JS: New query: missing await
|
2020-01-08 15:29:45 +00:00 |
|
Max Schaefer
|
de15ecf47b
|
Merge pull request #2593 from asger-semmle/regexp-always-matches
JS: Add RegExpAlwaysMatches query
|
2020-01-08 15:21:39 +00:00 |
|