Owen Mansel-Chan
aa28c94562
Remove double space after $ in inline expectations tests
2026-03-04 14:12:42 +00:00
Owen Mansel-Chan
b475f14575
Replace // $:tag with // $ tag in 2 tests
2026-03-04 12:44:59 +00:00
Michael Nebel
9ecacddf79
Swift: Update all test util paths to point to the new location.
2024-12-12 13:54:40 +01:00
Jeroen Ketema
67052bf9e5
Swift: Update expected test results
2024-12-03 19:18:48 +01:00
Asger F
8df7fbf6d6
Swift: update test output
...
The 'first' field is seen as a TaintInheritingContent, which means any read step for 'first' becomes a taint step too.
This type of taint step does not permit an implicit read before it, because it wasn't contributed by a configuration.
So there is no way for the taint to get out of the collection content before the taint step through '.first'.
The test previously passed because an implicit read at once of the earlier sinks could follow use-use flow down to the receiver of .first,
allowing it to escape the collection content.
2024-08-23 11:30:50 +02:00
Geoffrey White
ecefa3e383
Swift: Fix a corrupted model.
2024-07-24 18:16:24 +01:00
Alex Denisov
0e73531aa9
Swift: upgrade to 5.9.2
2024-01-09 09:23:32 +01:00
Geoffrey White
36d0148aa1
Swift: Comment out lines that don't extract correctly right now.
2023-12-14 13:27:05 +00:00
Geoffrey White
023d72b6fb
Merge remote-tracking branch 'upstream/main' into pointermodels
2023-12-13 14:07:17 +00:00
Mathias Vorreiter Pedersen
d8f53e5524
Merge pull request #14925 from geoffw0/flows
...
Swift: Imprecise Taint Flows
2023-12-11 10:06:01 +00:00
Geoffrey White
c2123f2c9b
Swift: More detailed models for pointers.
2023-12-08 16:51:53 +00:00
Geoffrey White
ba6d3484f5
Swift: Add more tests of pointer methods.
2023-12-07 18:09:34 +00:00
Geoffrey White
8818b3d22d
Swift: Model withMemoryRebound, assumingMemoryRebound, bindMemory.
2023-12-07 16:03:01 +00:00
Geoffrey White
db3dfdc9a0
Swift: Model Manual Memory Management closure functions.
2023-12-07 15:55:00 +00:00
Geoffrey White
1de9919193
Swift: Test Manual Memory Management closure functions.
2023-12-07 15:10:41 +00:00
Geoffrey White
366a9f1b7e
Swift: Convert unsafepointer.swift test to use labelled sources.
2023-12-06 18:57:30 +00:00
Geoffrey White
f19c6f337d
Swift: Add imprecise append/insert models.
2023-11-27 19:43:15 +00:00
Geoffrey White
6e5c285346
Swift: Add imprecise init(data:) model.
2023-11-27 19:23:40 +00:00
Geoffrey White
99aa754b50
Swift: Add tests for UIImage.
2023-11-27 19:19:12 +00:00
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
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
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
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
