Tom Hvitved
|
5b6e76c030
|
Move View CFG implementation from Ruby/Swift into shared library
|
2024-02-26 11:23:49 +01:00 |
|
Anders Schack-Mulligen
|
228a61ead3
|
Swift: Add empty provenance column to expected files.
|
2024-02-09 11:32:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
1fba345fb3
|
Merge pull request #15219 from rdmarsh2/rdmarsh2/swift/parameterized-cfg-library
Swift: switch to shared, parameterized CFG library
|
2024-01-16 21:54:05 +00:00 |
|
Alex Denisov
|
0e73531aa9
|
Swift: upgrade to 5.9.2
|
2024-01-09 09:23:32 +01:00 |
|
Robert Marsh
|
51acd1169c
|
Swift: accept test output
|
2024-01-08 14:29:51 +00:00 |
|
Geoffrey White
|
4016033f88
|
Swift: Add dataflow test cases for property wrappers.
|
2024-01-04 15:39:20 +00:00 |
|
Geoffrey White
|
31af8b9024
|
Swift: Test SwiftUI flow sources.
|
2024-01-04 09:28:10 +00:00 |
|
Geoffrey White
|
1908575386
|
Swift: Add more test cases for launchOptions as a source.
|
2023-12-15 18:11:28 +00:00 |
|
Robert Marsh
|
3738e19db6
|
Swift: fix compilation failures outside CFG code
|
2023-12-14 16:39:51 +00: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 |
|
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 |
|