Geoffrey White
|
0660f98a33
|
Swift: Change note.
|
2023-07-19 10:37:34 +01:00 |
|
Geoffrey White
|
420008aed7
|
Swift: Minor corrections / clarifications.
|
2023-07-19 10:36:01 +01:00 |
|
Geoffrey White
|
a58dbf26b5
|
Merge pull request #13759 from geoffw0/parsemode2
Swift: Refactor regex library
|
2023-07-19 08:36:28 +01:00 |
|
Geoffrey White
|
cf7311f3f1
|
Swift: Expand parse mode support to include NSRegularExpression options.
|
2023-07-19 08:34:30 +01:00 |
|
Geoffrey White
|
f8b8c67813
|
Swift: Clean up and autoformat.
|
2023-07-19 08:34:27 +01:00 |
|
Geoffrey White
|
3c1f755580
|
Swift: Support other parse modes.
|
2023-07-19 08:33:48 +01:00 |
|
Geoffrey White
|
8273fa1a8c
|
Swift: Track parse modes (prototype version).
|
2023-07-19 08:33:43 +01:00 |
|
Robert Marsh
|
093c6905dd
|
Swift: only read ArrayContent from subscript keypaths
|
2023-07-18 19:42:54 +00:00 |
|
Geoffrey White
|
5dea539f3f
|
Swift: Fix QL-for-QL suggestion.
|
2023-07-18 16:51:12 +01:00 |
|
Arthur Baars
|
99d8ae720f
|
Swift: improve print-cfg query
|
2023-07-18 16:49:58 +02:00 |
|
Robert Marsh
|
bcc45658b3
|
Swift: Change note for ArrayContent
|
2023-07-18 14:12:53 +00:00 |
|
Robert Marsh
|
1fac08ef6c
|
Swift: add qldoc for ArrayContent and Array models
|
2023-07-18 14:08:33 +00:00 |
|
Robert Marsh
|
dfa5e18988
|
Swift: autoformat
|
2023-07-18 14:01:30 +00:00 |
|
Geoffrey White
|
efea11fd0f
|
Swift: getFullName.
|
2023-07-18 12:53:45 +01:00 |
|
Geoffrey White
|
1deacf40ca
|
Merge pull request #13660 from geoffw0/regexinjection
Swift: Query for regular expression injection
|
2023-07-18 10:25:30 +01:00 |
|
Geoffrey White
|
86c6960e2a
|
Swift: Add RegexUseFlow and modify the role of StringLiteralUseFlow.
|
2023-07-18 09:49:47 +01:00 |
|
Geoffrey White
|
c76d85df1b
|
Swift: Create a model for RegexCreation.
|
2023-07-18 09:49:47 +01:00 |
|
Geoffrey White
|
734a00d616
|
Swift: Rename so that different data flows will be clear.
|
2023-07-18 09:49:47 +01:00 |
|
Geoffrey White
|
f243e854ae
|
Swift: Move regex dataflow code into a RegexTracking library (similar to the layout in Ruby and Python).
|
2023-07-18 09:49:36 +01:00 |
|
Geoffrey White
|
b5a8a8d431
|
Merge pull request #13715 from geoffw0/parsemode
Swift: Recognize regular expression parse mode flags
|
2023-07-18 09:09:56 +01:00 |
|
Robert Marsh
|
d4b635d674
|
Swift: add ArrayContent summary support
|
2023-07-17 19:09:05 +00:00 |
|
Robert Marsh
|
169326ffe5
|
Swift: support array keypath reads in dataflow
|
2023-07-17 18:05:06 +00:00 |
|
Geoffrey White
|
ddb499071c
|
Swift: Pragmatic fix for CustomUrlSchemes.qll.
|
2023-07-17 16:10:37 +01:00 |
|
Geoffrey White
|
70a9fe3974
|
Swift: Change note.
|
2023-07-17 15:42:56 +01:00 |
|
Geoffrey White
|
eca2c21af5
|
Swift: Model referrerURL.
|
2023-07-17 15:42:51 +01:00 |
|
Geoffrey White
|
69b98c769c
|
Merge pull request #13354 from geoffw0/sharedsensitive2
Swift: Improve SensitiveExprs.qll Heuristics
|
2023-07-17 09:16:09 +01:00 |
|
Maiky
|
378313332b
|
Fix sink
|
2023-07-14 20:55:24 +02:00 |
|
Geoffrey White
|
1274393c72
|
Swift: Remove 'cached' annotations.
|
2023-07-14 10:11:09 +01:00 |
|
Robert Marsh
|
42cc6448cc
|
Swift: add DataFlow::Content for arrays
|
2023-07-13 20:16:21 +00:00 |
|
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 |
|
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
|
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 |
|