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 |
|
Mathias Vorreiter Pedersen
|
175a8a6fb5
|
Merge pull request #14865 from rdmarsh2/rdmarsh2/swift/correct-keypath-node-steps
Swift: move keypath dataflow writes to fix types
|
2023-11-30 15:09:55 +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
|
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
|
6f56a656e4
|
Merge pull request #14761 from geoffw0/moderntest
Swift: Update the inline dataflow tests
|
2023-11-13 14:59:08 +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 |
|
Alex Denisov
|
e865c3cbd3
|
Swift: extract parameter packs
|
2023-11-10 10:20:14 +01:00 |
|
Alex Denisov
|
12f9e3a1dd
|
Swlft: fix CFG for SingleValueStmtExpr
|
2023-11-07 18:12:39 +01:00 |
|
Alex Denisov
|
33de177fea
|
Swift: extract SingleValueStmtExpr
|
2023-11-07 13:40:35 +01:00 |
|
Alex Denisov
|
bbde709b3f
|
Swift: upgrade to 5.9.1
|
2023-11-07 13:40:28 +01: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 |
|