Geoffrey White
|
892beeab6d
|
Swift: Add test case.
|
2023-11-13 18:25:59 +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
|
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 |
|
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 |
|
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
|
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 |
|
Geoffrey White
|
bf6e6a1e68
|
Merge branch 'main' into stringwith
|
2023-10-25 10:58:25 +01:00 |
|
Geoffrey White
|
42a2ec9891
|
Merge branch 'main' into substring
|
2023-10-24 17:03:00 +01:00 |
|
Geoffrey White
|
06b1cd939c
|
Merge pull request #14502 from geoffw0/xmlquery
Swift: Model RawRepresentable
|
2023-10-24 16:25:15 +01:00 |
|
Geoffrey White
|
79f675cdb7
|
Swift: Fix a model.
|
2023-10-24 16:17:21 +01:00 |
|
Geoffrey White
|
a5206028b0
|
Swift: Expand a test to explore why it fails (lack of pointer models and closure capture flow).
|
2023-10-24 16:17:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c298e6001
|
Swift: Fix 'parameter' -> 'argument' flow into closures.
|
2023-10-24 15:28:01 +01:00 |
|
Nora Dimitrijević
|
af49a3aa64
|
Swift: accept new results in old tests
|
2023-10-24 13:56:31 +01:00 |
|
Geoffrey White
|
d3063e849e
|
Swift: Model string closure methods.
|
2023-10-24 12:58:38 +01:00 |
|
Geoffrey White
|
4cf40ed259
|
Swift: Add a test case for withMutableCharacters.
|
2023-10-23 23:30:19 +01:00 |
|
Geoffrey White
|
b93442a2b6
|
Merge pull request #14523 from geoffw0/appendingformat
Swift: Model StringProtocol.appendingformat and String.decodecstring
|
2023-10-17 18:04:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
68f2501bf0
|
Merge pull request #14496 from geoffw0/memberinittest
Swift: Add data flow tests for member initialization.
|
2023-10-17 12:35:07 +01:00 |
|
Geoffrey White
|
5ffb773568
|
Swift: Explore instantiated / not instantiated classes.
|
2023-10-17 11:30:03 +01:00 |
|
Geoffrey White
|
2679d1fdb5
|
Swift: Add models.
|
2023-10-16 21:40:38 +01:00 |
|
Geoffrey White
|
451d779f4a
|
Swift: Test String.decodeCString.
|
2023-10-16 21:22:03 +01:00 |
|
Geoffrey White
|
459b006244
|
Swift: Test StringProtocol.appendingFormat.
|
2023-10-16 21:22:03 +01:00 |
|
Geoffrey White
|
0509c0fdf3
|
Swift: Effect on dataflow tests.
|
2023-10-16 18:28:50 +01:00 |
|
Geoffrey White
|
613c7b24b5
|
Swift: Model .base, withUTF8(_:).
|
2023-10-16 10:17:32 +01:00 |
|
Geoffrey White
|
0bc24b8641
|
Swift: Model replaceSubrange more generally.
|
2023-10-16 10:17:32 +01:00 |
|
Geoffrey White
|
c6f2a2936b
|
Swift: Widen the StringProtocol model.
|
2023-10-16 10:14:43 +01:00 |
|
Geoffrey White
|
dcba1b9913
|
Swift: Tests for Substring.
|
2023-10-16 10:14:42 +01:00 |
|
Geoffrey White
|
cea87a53e0
|
Swift: Fix LocalTaint.expected.
|
2023-10-13 18:19:26 +01:00 |
|
Geoffrey White
|
4e29ed5ff0
|
Swift: Model RawRepresentable.
|
2023-10-13 15:00:49 +01:00 |
|
Geoffrey White
|
228aaee0bf
|
Swift: Add data flow tests for RawRepresentable, OptionSet.
|
2023-10-13 14:34:05 +01:00 |
|
Geoffrey White
|
33f83a2089
|
Swift: Add some failing data flow test cases.
|
2023-10-13 12:24:43 +01:00 |
|
AlexDenisov
|
6ab2de10e3
|
Merge pull request #14437 from github/alexdenisov/ignore-unavailable-declarations
Swift: skip declarations marked as unavailable
|
2023-10-12 20:08:18 +02:00 |
|
Alex Denisov
|
4133284bc8
|
Swift: skip declarations marked as unavailable
|
2023-10-11 10:55:49 +02:00 |
|
Geoffrey White
|
e31ca58a2f
|
Swift: Post-merge fix.
|
2023-10-05 15:45:22 +01:00 |
|
Geoffrey White
|
17894db501
|
Merge branch 'main' into conversions2
|
2023-10-05 15:33:05 +01:00 |
|
Geoffrey White
|
c61edc13e7
|
Swift: Model RangeReplaceableCollection initializers.
|
2023-10-02 11:59:25 +01:00 |
|
Geoffrey White
|
0c534b69eb
|
Swift: Extend Numeric models.
|
2023-10-02 11:59:25 +01:00 |
|