Anders Schack-Mulligen
|
837df2ad37
|
Dataflow: Sync.
|
2023-07-13 10:55:39 +02:00 |
|
Jeroen Ketema
|
52ab215560
|
C++/Swift: Remove none() dataflow configuration predicates
These now have default implementations that are also `none()`
|
2023-07-12 23:49:29 +02:00 |
|
Geoffrey White
|
0bd522aa7b
|
Merge branch 'main' into sharedsensitive2
|
2023-07-12 21:07:06 +01:00 |
|
Ed Minnix
|
63299688d5
|
Add change notes for default implementations of isBarrier and isAdditionalFlowStep
|
2023-07-12 15:21:16 -04:00 |
|
Ed Minnix
|
18b606f930
|
Swift: Add default implementation of StateConfigSig::isAdditionalFlowStep/4
|
2023-07-12 15:06:25 -04:00 |
|
Ed Minnix
|
b76b9812fd
|
Swift: Add default implementation of StateConfigSig::isBarrier/2
|
2023-07-12 15:06:25 -04:00 |
|
Geoffrey White
|
6d4c831ec5
|
Swift: Compute sensitive strings centrally (much more efficient evaluation).
|
2023-07-12 19:34:09 +01:00 |
|
Geoffrey White
|
02ddcab773
|
Swift: Cleanup / corrections.
|
2023-07-12 18:26:59 +01:00 |
|
Geoffrey White
|
5c6b8bd36e
|
Swift: Introduce EnumElmentDecl.hasQualifiedName and use it to clean up the code.
|
2023-07-12 17:18:04 +01:00 |
|
Maiky
|
c9fadd98f4
|
Support CommandInjectionAdditionalFlowStep and fix doc errors
|
2023-07-12 16:48:27 +02:00 |
|
Maiky
|
d7d9ffc449
|
Doc error
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-07-12 16:44:17 +02:00 |
|
Maiky
|
cea3477ac2
|
Qhelp and examples
|
2023-07-12 02:13:07 +02:00 |
|
Geoffrey White
|
5f8f1b64c6
|
Swift: Model Connection.Location.uri sink.
|
2023-07-11 18:10:43 +01:00 |
|
Geoffrey White
|
ebb379f08c
|
Swift: Fix sqlite3_temp_directory sink.
|
2023-07-11 16:50:42 +01:00 |
|
Geoffrey White
|
cffdc0a8a7
|
Merge pull request #13698 from geoffw0/url2
Swift: Expand taint models for URL
|
2023-07-11 13:14:20 +01:00 |
|
Geoffrey White
|
fcc98f83c0
|
Swift: Autoformat.
|
2023-07-11 10:05:24 +01:00 |
|
Geoffrey White
|
5ef097fd66
|
Swift: Update consistency check .expected to exactly match CI.
|
2023-07-11 09:54:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
a4c0063ab1
|
Merge pull request #13679 from MathiasVP/speedup-big-step
DataFlow: Speed up the big step relation
|
2023-07-11 09:44:17 +01:00 |
|
Geoffrey White
|
2d7166b903
|
Swift: Minor corrections.
|
2023-07-11 09:39:42 +01:00 |
|
Geoffrey White
|
f45b89a3cc
|
Swift: Add a few more variant test cases.
|
2023-07-11 09:26:37 +01:00 |
|
Geoffrey White
|
07bbc0f537
|
Swift: Change note.
|
2023-07-10 19:28:11 +01:00 |
|
Geoffrey White
|
ef344c6a80
|
Swift: Match flag groups more strictly as other (? group types exist.
|
2023-07-10 19:22:53 +01:00 |
|
Geoffrey White
|
952a5d2aa2
|
Swift: Use accurate Swift regex mode flags.
|
2023-07-10 19:20:34 +01:00 |
|
Geoffrey White
|
6e80021c4e
|
Swift: Support multiple parse mode flags.
|
2023-07-10 19:20:29 +01:00 |
|
Geoffrey White
|
f50345659e
|
Swift: Fix parse failures due to mode flags.
|
2023-07-10 19:14:42 +01:00 |
|
Geoffrey White
|
a7a609d591
|
Swift: Add tests for parse modes.
|
2023-07-10 19:11:33 +01:00 |
|
Geoffrey White
|
7748a45c2f
|
Swift: Initial implementation of regex mode flags.
|
2023-07-10 16:20:24 +01:00 |
|
Geoffrey White
|
ce9c367e90
|
Swift: Add a .expected file for the consistency test failure.
|
2023-07-10 13:30:26 +01:00 |
|
AlexDenisov
|
408e7ad572
|
Merge pull request #13678 from github/alexdenisov/5.9-preparation
Swift: 5.9 preparation
|
2023-07-10 08:35:17 +02:00 |
|
Maiky
|
e45a31744f
|
Initial commit
|
2023-07-09 04:17:35 +02:00 |
|
github-actions[bot]
|
13cf054a9d
|
Post-release preparation for codeql-cli-2.14.0
|
2023-07-07 14:55:41 +00:00 |
|
Jeroen Ketema
|
f60f80fea9
|
Update swift/ql/lib/change-notes/released/0.2.0.md
|
2023-07-07 11:06:07 +02:00 |
|
Mathias Vorreiter Pedersen
|
cc6ac812af
|
Update swift/ql/lib/CHANGELOG.md
|
2023-07-07 09:24:56 +01:00 |
|
github-actions[bot]
|
6484ee106e
|
Release preparation for version 2.14.0
|
2023-07-07 08:22:14 +00:00 |
|
Dave Bartolomeo
|
9631e9f2f1
|
Bump minor version numbers post-GHES
|
2023-07-06 10:10:01 -04:00 |
|
Dave Bartolomeo
|
2bb9adfbf1
|
Merge remote-tracking branch 'origin/main' into dbartol/mergeback-3.10
|
2023-07-06 10:00:46 -04:00 |
|
Geoffrey White
|
b010de3cb0
|
Swift: Change note.
|
2023-07-06 14:06:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
83d0dec0fb
|
DataFlow: Sync identical files.
|
2023-07-06 14:00:00 +01:00 |
|
Geoffrey White
|
dbb0333f97
|
Swift: Add a test case confirming a model works outside of closures.
|
2023-07-06 13:59:49 +01:00 |
|
Geoffrey White
|
507cf116e2
|
Swift: Add a test case for return values from closures.
|
2023-07-06 13:27:13 +01:00 |
|
Geoffrey White
|
8875487109
|
Swift: Expand the URL taint models.
|
2023-07-06 13:27:13 +01:00 |
|
Alex Denisov
|
c517fc6c6f
|
Swift: 5.9 preparation
|
2023-07-06 14:02:37 +02:00 |
|
Geoffrey White
|
45d32c3933
|
Swift: I'm not convinced these SPURIOUS tags are true and useful.
|
2023-07-05 17:50:48 +01:00 |
|
Geoffrey White
|
aeb5199cd9
|
Swift: Expand the URL taint flow test.
|
2023-07-05 16:36:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ea929dbdb
|
Merge pull request #13662 from geoffw0/swapmodel
Swift: Add dataflow model for 'swap'
|
2023-07-05 09:44:51 +01:00 |
|
Geoffrey White
|
c1c605ebac
|
Swift: Change note.
|
2023-07-04 17:42:40 +01:00 |
|
Geoffrey White
|
df816268cb
|
Swift: Model swap.
|
2023-07-04 17:37:49 +01:00 |
|
Geoffrey White
|
155122509c
|
Swift: Add a dataflow test for swap.
|
2023-07-04 15:21:41 +01:00 |
|
Geoffrey White
|
2870bc2ee0
|
Swift: Use US spelling.
|
2023-07-04 13:35:26 +01:00 |
|
Geoffrey White
|
6f3dba5f98
|
Swift: Tweak qhelp and example.
|
2023-07-04 13:21:51 +01:00 |
|