Asger Feldthaus
|
bd3f6d1234
|
JS: Add o[o.length] = y taint step
|
2021-03-25 09:00:10 +00:00 |
|
CodeQL CI
|
e3ab94fc6b
|
Merge pull request #5498 from asgerf/js/flow-through-accessors
Approved by erik-krogh, max-schaefer
|
2021-03-24 12:46:05 +00:00 |
|
Asger Feldthaus
|
23d2f11840
|
JS: Handle inheritance
|
2021-03-23 14:39:37 +00:00 |
|
Asger Feldthaus
|
3d94ccf5dd
|
JS: Support accessor-calls in object literals via local flow
|
2021-03-23 14:16:06 +00:00 |
|
Asger F
|
2f3d516413
|
JS: Track flow into ES accessors
|
2021-03-19 11:11:25 +00:00 |
|
Asger F
|
4f46908224
|
JS: Add test with ES getters/setters
|
2021-03-19 11:07:15 +00:00 |
|
Asger Feldthaus
|
e4d891cab5
|
JS: Add tests for flow through replace
|
2021-03-17 15:20:40 +00:00 |
|
Erik Krogh Kristensen
|
0ca2310594
|
add model for htmlparser2
|
2021-02-10 14:16:31 +01:00 |
|
Erik Krogh Kristensen
|
e2a66bf3ed
|
add model for xml-js
|
2021-02-10 14:16:31 +01:00 |
|
Erik Krogh Kristensen
|
73f7cd149f
|
add model for sax
|
2021-02-10 14:16:31 +01:00 |
|
Erik Krogh Kristensen
|
c43025d7b3
|
add model for xml2js
|
2021-02-10 14:16:30 +01:00 |
|
Erik Krogh Kristensen
|
44ca2e26a6
|
add taint-step to XML parsers
|
2021-02-10 14:16:08 +01:00 |
|
Asger Feldthaus
|
1d1149f4cd
|
JS: Test and QLDoc for RxJS model
|
2021-01-21 12:08:22 +00:00 |
|
Asger Feldthaus
|
0496642b0b
|
JS: Add test for captured flow into callback
|
2020-12-07 10:34:27 +00:00 |
|
Erik Krogh Kristensen
|
65a1769d43
|
Merge branch 'main' into asyncCalls
|
2020-08-21 14:58:27 +02:00 |
|
Erik Krogh Kristensen
|
9bcac10d9e
|
summarize exceptions thrown by immidiatly awaited function calls
|
2020-08-10 13:28:25 +02:00 |
|
Erik Krogh Kristensen
|
aab2e6f803
|
update name of test file
|
2020-08-07 18:20:22 +02:00 |
|
Erik Krogh Kristensen
|
8f06e9651f
|
update expected output
|
2020-08-07 17:40:58 +02:00 |
|
Erik Krogh Kristensen
|
cc94c5ec60
|
remove imprecise return-flow from async functions
|
2020-08-07 17:33:24 +02:00 |
|
Erik Krogh Kristensen
|
f70cb2e7b3
|
add test for new JSON serializers
|
2020-08-05 12:14:56 +02:00 |
|
Asger Feldthaus
|
06dd3ab2ca
|
JS: Propagate into RegExp.$x
|
2020-06-26 18:58:43 +01:00 |
|
Asger Feldthaus
|
17af8f7650
|
JS: Add test for taint propagating into RegExp.$1
|
2020-06-26 18:58:43 +01:00 |
|
Esben Sparre Andreasen
|
f9ed64fc45
|
Merge branch 'master' into js/membershiptest
|
2020-06-02 08:54:44 +02:00 |
|
Asger Feldthaus
|
75be3b7ecb
|
JS: Add test case for missed captured flow
|
2020-05-21 16:14:13 +01:00 |
|
Esben Sparre Andreasen
|
ddb545c182
|
JS: introduce MembershipTests.qll and use in two locations
|
2020-05-18 09:50:00 +02:00 |
|
Asger Feldthaus
|
0edb765958
|
JS: Split test case function in two
|
2020-03-18 11:55:13 +00:00 |
|
Asger Feldthaus
|
a195429471
|
JS: Add test with non-guard sanitizer
|
2020-03-18 11:55:12 +00:00 |
|
Asger Feldthaus
|
83606e7b60
|
JS: Dont use data label in taint-tracking configs
|
2020-03-18 11:55:12 +00:00 |
|
Asger Feldthaus
|
8da0584b12
|
JS: Add test
|
2020-03-18 11:55:12 +00:00 |
|
Asger Feldthaus
|
98524556c3
|
JS: Add some tests
|
2020-03-03 11:32:23 +00:00 |
|
Asger Feldthaus
|
b780bc4d59
|
JS: Also track into callbacks
|
2020-02-21 13:51:22 +00:00 |
|
Asger Feldthaus
|
e8e649102f
|
JS: Also propagate out of returns
|
2020-02-21 13:51:22 +00:00 |
|
Erik Krogh Kristensen
|
1ece6b9afe
|
update expected output of tests
|
2020-02-07 12:57:51 +01:00 |
|
Erik Krogh Kristensen
|
2865723059
|
add test for new barrier
|
2020-02-06 15:44:33 +01:00 |
|
Asger Feldthaus
|
b306571d52
|
JS: Type-track react component factories
|
2020-01-28 10:22:04 +00:00 |
|
Asger F
|
4d25bfc038
|
JS: Fix copy pasta
|
2020-01-06 11:37:21 +00:00 |
|
Asger F
|
142c83f38f
|
JS: Add negative dominance test
|
2020-01-06 11:37:21 +00:00 |
|
Asger F
|
aa6572b5c8
|
JS: Sanitize phi edges from barrier guards
|
2020-01-06 11:37:21 +00:00 |
|
Asger F
|
0b04f0d8f7
|
JS: Add test case for phi input
|
2020-01-06 11:37:20 +00:00 |
|
semmle-qlci
|
e65271dfad
|
Merge pull request #2251 from asger-semmle/barrier-guard-improvements
Approved by esbena
|
2019-11-07 15:50:23 +00:00 |
|
semmle-qlci
|
3a7f9a588d
|
Merge pull request #2267 from max-schaefer/js/qltest-extractor-options
Approved by asger-semmle
|
2019-11-07 11:36:45 +00:00 |
|
Max Schaefer
|
3e92d0ffb5
|
JavaScript: Remove redundant --experimental extractor options.
|
2019-11-05 15:59:24 +00:00 |
|
Erik Krogh Kristensen
|
16b63b3d01
|
move deferred model to the query where it is used
|
2019-11-05 15:45:17 +01:00 |
|
Asger F
|
f48d16fcb7
|
JS: Support barrier guards that are reflective calls
|
2019-11-01 15:23:38 +00:00 |
|
Asger F
|
e2b0ec5696
|
JS: Handle multiple and/or operators in SanitizerFunction
|
2019-11-01 15:23:38 +00:00 |
|
Erik Krogh Kristensen
|
31009d979d
|
add type tracking to detect instances
|
2019-10-11 12:04:34 +02:00 |
|
Erik Krogh Kristensen
|
c7eb0f17a9
|
add TaintTracking test for new Deferred model
|
2019-10-09 13:59:00 +02:00 |
|
Asger F
|
9f2f10fa15
|
JS: Make type inference flow go through ssa definition node
|
2019-09-02 16:45:06 +01:00 |
|
Asger F
|
9e949d0f44
|
JS: Add taint step through destructuring for-of loop
|
2019-08-02 20:35:21 +01:00 |
|
Asger F
|
cf23c50f0c
|
JS: Add convenience layer
Adds getASpreadArgument() and defines getCalleeName() for reflective
calls to be the name of the property being invoked, if there is one.
|
2019-07-11 10:55:28 +01:00 |
|