Owen Mansel-Chan
|
d70307243c
|
Fix bad join order in BarrierGuard.guards/2
|
2021-12-08 11:20:37 -05:00 |
|
Owen Mansel-Chan
|
1a9ea38c0b
|
Update non-shared dataflow files to match sync
|
2021-12-08 11:20:36 -05:00 |
|
Owen Mansel-Chan
|
095fe6e4a7
|
Do not allow "Argument" on its own
# Conflicts:
# ql/test/library-tests/semmle/go/dataflow/ExternalFlow/srcs.expected
|
2021-12-08 11:20:36 -05:00 |
|
Sauyon Lee
|
b2f62b185d
|
Allow for Return[i] specifications
|
2021-12-08 11:20:36 -05:00 |
|
Owen Mansel-Chan
|
578a31ecd8
|
Keep call to defaultTaintSanitizerGuard
|
2021-12-08 11:20:35 -05:00 |
|
Owen Mansel-Chan
|
01bfbde9ae
|
Sync dataflow libraries again
|
2021-12-08 11:20:35 -05:00 |
|
Owen Mansel-Chan
|
1a299d2e09
|
Update sync-dataflow-libraries target in Makefile
The location of the dataflow libraries in codeql-go has changed
and there is a new file to be synced.
|
2021-12-08 11:20:34 -05:00 |
|
Owen Mansel-Chan
|
16fdb9aa11
|
Do not test ReturnValue as input for sink
The documentation in ExternalFlow.qll does not specify
that "ReturnValue" can be used as the input column.
|
2021-12-08 11:20:34 -05:00 |
|
Owen Mansel-Chan
|
63b944a1b4
|
Another instance of getEnclosingFunction -> getRoot
|
2021-12-08 11:20:34 -05:00 |
|
Chris Smowton
|
3cf1459c4f
|
Revert getACallee type change
|
2021-12-08 11:20:33 -05:00 |
|
Chris Smowton
|
6110506e02
|
Revert "Make getACallee return DataFlowCallable"
This reverts commit b4742ccdf81bec3f872923da79953c61dea103f6.
|
2021-12-08 11:20:33 -05:00 |
|
Owen Mansel-Chan
|
5ec0b09160
|
Diasble clearing content and add test for it
|
2021-12-08 11:20:32 -05:00 |
|
Owen Mansel-Chan
|
e940a53cc6
|
Test models of flow through fields
|
2021-12-08 11:20:32 -05:00 |
|
Owen Mansel-Chan
|
2d8fd71189
|
Comment on why summaryDataFlowCall is none()
|
2021-12-08 11:20:31 -05:00 |
|
Owen Mansel-Chan
|
adf3dc0c61
|
Move type assertion into declared type
|
2021-12-08 11:20:31 -05:00 |
|
Owen Mansel-Chan
|
9f763dd044
|
Move built-in models to ExternalFlow
|
2021-12-08 11:20:30 -05:00 |
|
Owen Mansel-Chan
|
d717734820
|
Do not allow "Argument" on its own
|
2021-12-08 11:20:30 -05:00 |
|
Owen Mansel-Chan
|
d2ca1fb2eb
|
Address review comments #2
|
2021-12-08 11:20:29 -05:00 |
|
Owen Mansel-Chan
|
12058a2621
|
Fix containerStoreStep and containerReadStep
|
2021-12-08 11:20:29 -05:00 |
|
Owen Mansel-Chan
|
ab8096b717
|
Add tests for more content types (Element, MapKey, MapValue)
|
2021-12-08 11:20:28 -05:00 |
|
Owen Mansel-Chan
|
b7aa85b054
|
Address some review comments
|
2021-12-08 11:20:28 -05:00 |
|
Owen Mansel-Chan
|
f375553933
|
Add variadic functions test for function models
|
2021-12-08 11:20:27 -05:00 |
|
Owen Mansel-Chan
|
b75def62fe
|
Add variadic functions test for external flow
|
2021-12-08 11:20:27 -05:00 |
|
Owen Mansel-Chan
|
d9848fe515
|
Add more tests for variadic functions
|
2021-12-08 11:20:27 -05:00 |
|
Owen Mansel-Chan
|
8044fb2519
|
Add more flow tests for external flow
|
2021-12-08 11:20:26 -05:00 |
|
Owen Mansel-Chan
|
63d997f820
|
(Unimportant) Fix module name for vendored stubs
This doesn't affect the test, but does mean that you can run
`go build` to check the test would build.
|
2021-12-08 11:20:26 -05:00 |
|
Owen Mansel-Chan
|
1929a1f7a7
|
Fix unrelated test in experimental
|
2021-12-08 11:20:25 -05:00 |
|
Owen Mansel-Chan
|
5e38f48b74
|
Autoformat
|
2021-12-08 11:20:25 -05:00 |
|
Owen Mansel-Chan
|
a3df3614a5
|
Convert completetest to an inline flow test
|
2021-12-08 11:20:24 -05:00 |
|
Owen Mansel-Chan
|
8f7a34f9cb
|
Fix external flow tests
|
2021-12-08 11:20:24 -05:00 |
|
Owen Mansel-Chan
|
71bf834765
|
Fix incorrect assumption
node2 doesn't have to be a PostUpdateNode
|
2021-12-08 11:20:23 -05:00 |
|
Sauyon Lee
|
3379790686
|
add flow test involving CSV
|
2021-12-08 11:20:22 -05:00 |
|
Sauyon Lee
|
a632a58221
|
add CSV models of append
|
2021-12-08 11:20:22 -05:00 |
|
Sauyon Lee
|
070e383516
|
allow empty namespaces for Go
|
2021-12-08 11:20:21 -05:00 |
|
Owen Mansel-Chan
|
70c9ca5611
|
Update documentation in ExternalFlow.qll
|
2021-12-08 11:20:21 -05:00 |
|
Owen Mansel-Chan
|
038f951e9f
|
Fix containerStoreStep
Update some comments as well, and change a variable name
|
2021-12-08 11:20:20 -05:00 |
|
Owen Mansel-Chan
|
be6501d8e4
|
Add tests for data and taint flow through arrays and var args
|
2021-12-08 11:20:20 -05:00 |
|
Sauyon Lee
|
2060731077
|
Add tests for external flow
|
2021-12-08 11:20:20 -05:00 |
|
haby0
|
a18aad8536
|
Fix one
|
2021-12-08 21:03:17 +08:00 |
|
Anders Schack-Mulligen
|
38d0bb4a60
|
Merge pull request #7260 from hvitved/dataflow/argument-parameter-matching
Data flow: Introduce `ParameterPosition` and `ArgumentPosition`
|
2021-12-08 12:49:08 +01:00 |
|
haby0
|
1d321c692b
|
Refactor isMybatisXmlOrAnnotationSqlInjection
|
2021-12-08 18:59:55 +08:00 |
|
Alex Ford
|
ede1503cc6
|
Merge pull request #7328 from github/ruby/customizations
Ruby: add `Customizations.qll` file
|
2021-12-08 10:54:23 +00:00 |
|
Tom Hvitved
|
283173ad02
|
Address review comments
|
2021-12-08 11:26:44 +01:00 |
|
Erik Krogh Kristensen
|
3145e8f9b7
|
add upgrade script
|
2021-12-08 10:53:47 +01:00 |
|
Erik Krogh Kristensen
|
1956405d17
|
Merge pull request #7284 from erik-krogh/myApply-part1
JS: remove paths without unmatched returns from polynomial-redos
|
2021-12-08 10:46:03 +01:00 |
|
Tom Hvitved
|
5735bb698d
|
Ruby: Hide desugared nodes in data-flow paths
|
2021-12-08 09:00:16 +01:00 |
|
yoff
|
0e33f730b1
|
Merge pull request #7329 from tausbn/tausbn/python-fix-syntax-error-locations
Python: Fix syntax error locations
|
2021-12-07 22:45:35 +01:00 |
|
Rasmus Wriedt Larsen
|
a650c56c0c
|
Tag queries with CWE-328
CWE-328: Use of Weak Hash, see https://cwe.mitre.org/data/definitions/328.html
|
2021-12-07 20:54:31 +00:00 |
|
Geoffrey White
|
5ee9684435
|
C++: Change note.
|
2021-12-07 20:42:36 +00:00 |
|
Geoffrey White
|
122f6385e6
|
C++: Improve recognition of stdin, stdout etc.
|
2021-12-07 20:42:35 +00:00 |
|