Geoffrey White
|
da648b1014
|
Swift: Convert ui.swift test to use source labels.
|
2023-11-27 19:06:52 +00:00 |
|
Geoffrey White
|
4b87dd54fb
|
Swift: Add tests for custom append/insert.
|
2023-11-27 19:02:45 +00:00 |
|
Geoffrey White
|
dfdc502525
|
Merge pull request #14908 from geoffw0/setmodels
Swift: Flow models for Set
|
2023-11-24 19:16:16 +00:00 |
|
Geoffrey White
|
4c2a6231e9
|
Swift: Add tests for array append/insert.
|
2023-11-24 18:33:25 +00:00 |
|
Geoffrey White
|
2e93c1d7b6
|
Merge pull request #14879 from geoffw0/contentsof
Swift: "contentsOf" sources
|
2023-11-24 17:47:57 +00:00 |
|
Geoffrey White
|
2b481bbb48
|
Swift: Model Sequence.enumerated() as well.
|
2023-11-24 15:41:49 +00:00 |
|
Geoffrey White
|
14031bf351
|
Swift: Model Sequence.forEach as well.
|
2023-11-24 14:58:13 +00:00 |
|
Geoffrey White
|
60b27a4e69
|
Swift: Expand and improve models of Set and Sequence.
|
2023-11-24 14:43:19 +00:00 |
|
Geoffrey White
|
04c90a684c
|
Swift: Add taint tests for 'Set'.
|
2023-11-24 13:38:31 +00:00 |
|
Geoffrey White
|
5723a75f3c
|
Swift: Add heuristic model for init(contentsOfFile) and similar.
|
2023-11-22 15:24:19 +00:00 |
|
Geoffrey White
|
94cb09e539
|
Swift: Add test cases.
|
2023-11-22 11:39:27 +00:00 |
|
Robert Marsh
|
396b9e38c5
|
Swift: move keypath dataflow writes to fix types
|
2023-11-21 17:06:21 +00:00 |
|
Geoffrey White
|
0342b3eba2
|
Merge pull request #14772 from geoffw0/webview
Swift: Use TaintInheritingContent in WebView.qll
|
2023-11-14 16:29:32 +00:00 |
|
Geoffrey White
|
5a451e964d
|
Swift: Model mainDocumentURL.
|
2023-11-13 19:51:51 +00:00 |
|
Geoffrey White
|
b157d73c10
|
Swift: Make the URLRequest test more accurate.
|
2023-11-13 19:36:03 +00:00 |
|
Geoffrey White
|
463096e4be
|
Swift: Modernize tainted content in WebView.qll.
|
2023-11-13 18:30:40 +00:00 |
|
Geoffrey White
|
892beeab6d
|
Swift: Add test case.
|
2023-11-13 18:25:59 +00:00 |
|
Geoffrey White
|
098ea50068
|
Swift: Repair non-inline dataflow test.
|
2023-11-13 12:09:08 +00:00 |
|
Geoffrey White
|
6e291711ac
|
Swift: Update just enough tests to prove that that source labels are working.
|
2023-11-13 11:47:24 +00:00 |
|
Geoffrey White
|
fca6ccd2f1
|
Swift: Remove more unused code.
|
2023-11-13 11:47:22 +00:00 |
|
Geoffrey White
|
4bf717c3e4
|
Swift: Use InlineFlowTest.qll in the data flow inline tests, so that we have less code duplication and can use flow labels.
|
2023-11-13 11:06:05 +00:00 |
|
Geoffrey White
|
d56625cb8b
|
Swift: Rename the capture test to look more like the others.
|
2023-11-10 17:59:44 +00:00 |
|
Geoffrey White
|
3465c34cb6
|
Merge pull request #14680 from geoffw0/dataclosure
Swift: Generalize flow through subscript writes / test and fix some closure methods of Data
|
2023-11-06 19:39:08 +00:00 |
|
Mathias Vorreiter Pedersen
|
84594e66bc
|
Merge pull request #14682 from geoffw0/filepathclosure
Swift: Correct a couple of FilePath models.
|
2023-11-06 17:31:17 +00:00 |
|
Geoffrey White
|
426bdc0011
|
Swift: Add test cases. Before the changes, we don't catch the cases for return values from the closures.
|
2023-11-06 16:32:23 +00:00 |
|
Robert Marsh
|
49428c4585
|
Merge pull request #14683 from geoffw0/nsstringclosure
Swift: Model NSString.enumerate*
|
2023-11-06 10:19:25 -05:00 |
|
Geoffrey White
|
838a00bbc9
|
Swift: Add a webview test case from a branch that didn't make it.
|
2023-11-06 09:44:53 +00:00 |
|
Geoffrey White
|
e621d208e4
|
Merge branch 'main' into nsstringclosure
|
2023-11-03 20:54:53 +00:00 |
|
Geoffrey White
|
e90b630c9b
|
Merge branch 'main' into dataclosure
|
2023-11-03 20:50:20 +00:00 |
|
Geoffrey White
|
07eba4e3b1
|
Swift: Fix some failing tests, looks like this could be the result of some recently merged PRs interacting (positively!)
|
2023-11-03 17:08:05 +00:00 |
|
Geoffrey White
|
989a546796
|
Swift: Model the NSString.enumerate* methods.
|
2023-11-03 16:22:45 +00:00 |
|
Geoffrey White
|
d0ca7045d4
|
Swift: Fix some NSString models.
|
2023-11-03 16:07:34 +00:00 |
|
Geoffrey White
|
a59ed5bc49
|
Swift: Add test cases.
|
2023-11-03 15:45:45 +00:00 |
|
Geoffrey White
|
0d7943031c
|
Swift: Generalize subscript assignment storeStep.
|
2023-11-03 14:53:37 +00:00 |
|
Geoffrey White
|
e7e6529df6
|
Swift: Add tests.
|
2023-11-03 12:21:32 +00:00 |
|
Geoffrey White
|
49add7d8ce
|
Swift: Add stubs to test.
|
2023-11-03 12:07:15 +00:00 |
|
Robert Marsh
|
81d77bf37c
|
Merge pull request #14578 from geoffw0/stringwith
Swift: Models for String methods involving closures.
|
2023-11-02 13:53:22 -04:00 |
|
Paolo Tranquilli
|
ea04b500a3
|
Swift: tweak dataflow test
|
2023-10-31 11:39:25 +01:00 |
|
Paolo Tranquilli
|
7bae2d9192
|
Swift: fix tests
|
2023-10-31 10:44:41 +01:00 |
|
Paolo Tranquilli
|
f81a3ec464
|
Swift: add VarDecl children to CaptureListExpr
|
2023-10-30 17:04:53 +01:00 |
|
Geoffrey White
|
1929dead39
|
Merge branch 'main' into implicitflow
|
2023-10-27 23:35:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
4aed638066
|
Merge pull request #14577 from MathiasVP/capture-flow-swift
Swift: Add variable-capture flow
|
2023-10-27 14:09:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
68999f3cef
|
Swift: Fix test by including the 'allowParameterReturnInSelf' hook from the variable capture library.
|
2023-10-27 11:25:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
9b150e4ea9
|
Swift: Add failing test.
|
2023-10-27 11:22:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
65e13aa5ed
|
Swift: Add simple version of the 'captureList' test that works.
|
2023-10-27 10:27:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
784bb72b33
|
Swift: Add some more tests.
|
2023-10-26 17:29:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
96a37f3a3c
|
Swift: Simplify more tests.
|
2023-10-26 14:55:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ad121a8a5
|
Swift: Simplify test.
|
2023-10-26 14:46:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
2465cc20f0
|
Swift: Don't define 'ClosureSelfParameterNode' as the expression node of the closure.
|
2023-10-26 11:56:27 +01:00 |
|
Geoffrey White
|
bf503849ea
|
Swift: Fixup line numbers after merge.
|
2023-10-25 11:09:13 +01:00 |
|