Geoffrey White
|
6f56a656e4
|
Merge pull request #14761 from geoffw0/moderntest
Swift: Update the inline dataflow tests
|
2023-11-13 14:59:08 +00:00 |
|
Alex Denisov
|
002f2a0985
|
Swift: extract BorrowExpr
|
2023-11-13 15:55:37 +01:00 |
|
Alex Denisov
|
d21e27c717
|
Swift: extract ConsumeExpr
|
2023-11-13 15:55:37 +01:00 |
|
Alex Denisov
|
30e4822fb7
|
Swift: extract CopyExpr
|
2023-11-13 15:55:37 +01:00 |
|
Geoffrey White
|
c3577b34d3
|
Swift: Clean up logic.
|
2023-11-13 12:37:35 +00:00 |
|
Geoffrey White
|
e4da8da5d9
|
Swift: Update the example code.
|
2023-11-13 12:33:20 +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
|
d15c46836b
|
Swift: Add features tom InlineFlowTest.qll: extended source/sink names, custom flow tags, use of line-numbers as a fallback value.
|
2023-11-13 10:55:17 +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
|
c327f0f0a7
|
Merge branch 'main' into pathinjectionsinks
|
2023-11-10 16:04:56 +00:00 |
|
Geoffrey White
|
5a09a325f2
|
Swift: Add heuristic path injection sinks.
|
2023-11-10 15:13:51 +00:00 |
|
Alex Denisov
|
0fb439b54d
|
Swift: test ElementArchetypeType via PackType
|
2023-11-10 11:44:45 +01:00 |
|
Alex Denisov
|
e865c3cbd3
|
Swift: extract parameter packs
|
2023-11-10 10:20:14 +01:00 |
|
Geoffrey White
|
ebf7231be7
|
Swift: Make the 'completePath' models work.
|
2023-11-09 18:21:12 +00:00 |
|
Geoffrey White
|
9b5556e245
|
Swift: Test 'completePath' more carefully.
|
2023-11-09 18:21:12 +00:00 |
|
Geoffrey White
|
2d313ef4c7
|
Swift: Add some path injection sink models.
|
2023-11-09 18:21:12 +00:00 |
|
Geoffrey White
|
cd147038cd
|
Swift: Fill some gaps in the URL, NSURL models.
|
2023-11-09 11:51:18 +00:00 |
|
Geoffrey White
|
a86862d578
|
Swift: Add test cases (heuristic).
|
2023-11-09 11:33:10 +00:00 |
|
Geoffrey White
|
04016ebd20
|
Swift: Add test cases (more library functions).
|
2023-11-09 11:31:58 +00:00 |
|
Geoffrey White
|
f99df55e94
|
Swift: Add test stubs.
|
2023-11-09 11:28:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
68e7f84c23
|
Merge pull request #14661 from geoffw0/commandinject4
Swift: Fix defaultImplicitTaintRead on fields
|
2023-11-08 15:52:18 +00:00 |
|
Geoffrey White
|
6b434d10ce
|
Merge pull request #14701 from geoffw0/promotecmdline
Swift: Promote the command injection query out of experimental
|
2023-11-08 15:46:29 +00:00 |
|
Alex Denisov
|
12f9e3a1dd
|
Swlft: fix CFG for SingleValueStmtExpr
|
2023-11-07 18:12:39 +01:00 |
|
Alex Denisov
|
df256e601a
|
Swlft: add explicit SingleValueStmtExpr test
|
2023-11-07 17:26:44 +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
|
4ce8d953d2
|
Merge pull request #14698 from geoffw0/realmswift
Swift: Fix an issue with Realm sinks for swift/cleartext-storage-database
|
2023-11-07 08:37:27 +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 |
|
Geoffrey White
|
1c6a4b8cbf
|
Swift: Update the test .qlref.
|
2023-11-06 17:32:25 +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
|
77e48f72ec
|
Swift: Detect Realm sinks more reliably.
|
2023-11-06 15:54:17 +00:00 |
|
Geoffrey White
|
424046d238
|
Swift: Add test case.
|
2023-11-06 15:54:17 +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
|
b99e44c3ca
|
Swift: Fix the Data test.
|
2023-11-06 09:18:27 +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 |
|
Geoffrey White
|
431d9d58f1
|
Merge pull request #14639 from geoffw0/anchorquery
Swift: New query for Missing Regular Expression Anchor
|
2023-11-02 09:20:19 +00:00 |
|