Geoffrey White
|
ec72c7504c
|
Swift: Add a partial model of Collection.
|
2023-02-03 18:42:42 +00:00 |
|
Geoffrey White
|
e357b44943
|
Swift: Add a partial model of Sequence.
|
2023-02-03 18:42:42 +00:00 |
|
Geoffrey White
|
e230951a14
|
Swift: Model StringProtocol methods.
|
2023-02-03 18:42:41 +00:00 |
|
Geoffrey White
|
38eeb9c747
|
Swift: Model String methods.
|
2023-02-03 12:26:55 +00:00 |
|
Geoffrey White
|
1077dcd2e3
|
Swift: Model String initializers.
|
2023-02-03 11:36:35 +00:00 |
|
Geoffrey White
|
142ca0c9fb
|
Swift: Model StringProtocol initializers.
|
2023-02-03 10:53:44 +00:00 |
|
Geoffrey White
|
d888510688
|
Swift: Fix incorrect taint to String fields.
|
2023-02-03 10:21:52 +00:00 |
|
Geoffrey White
|
d25de8c764
|
Swift: Taint fields of StringProtocol.
|
2023-02-03 10:16:33 +00:00 |
|
Geoffrey White
|
21abe54d8d
|
Swift: Greatly extend tests of taint through strings.
|
2023-02-03 10:11:12 +00:00 |
|
Nora Dimitrijević
|
50e5b29eb7
|
Swift: all Callables can have captures [codegen'd]
|
2023-02-02 11:56:51 +01:00 |
|
Nora Dimitrijević
|
ce2e7f1d12
|
Swift: all Callables can have captures [hand-written]
|
2023-02-02 11:35:50 +01:00 |
|
Nora Dimitrijević
|
d230431006
|
Swift: extract closure captures (codegen'd part)
|
2023-02-02 11:35:49 +01:00 |
|
Nora Dimitrijević
|
87f7bc3a63
|
Swift: introduce closure capture AST test
|
2023-02-02 11:30:33 +01:00 |
|
Tony Torralba
|
644bc56568
|
Add new source and flow step related to WkWebView
|
2023-02-01 17:44:06 +01:00 |
|
Tony Torralba
|
43b234eeb5
|
Switch to MaD models for UISceneDelegate methods
|
2023-02-01 15:15:51 +01:00 |
|
Tony Torralba
|
f7cc5f9627
|
Add more sources for custom URL schemes
Also add the appropriate steps so that these sources are useful
|
2023-02-01 15:07:37 +01:00 |
|
Geoffrey White
|
96ee0f68b0
|
Merge pull request #11935 from geoffw0/protocol-extension
Swift: Flow sources through protocol extensions
|
2023-02-01 13:47:09 +00:00 |
|
Geoffrey White
|
7f58a2222a
|
Merge branch 'main' into protocol-extension
|
2023-01-31 16:06:55 +00:00 |
|
Tony Torralba
|
e9a46c926d
|
Add taint for URLRequest fields
|
2023-01-31 11:15:45 +01:00 |
|
Nora Dimitrijević
|
9346f4d760
|
Swift: fix failing tests
|
2023-01-30 11:39:06 +01:00 |
|
Nora Dimitrijević
|
1396d07662
|
Swift: subsume IterableDeclContext into Decl [tests]
|
2023-01-28 00:44:49 +01:00 |
|
Nora Dimitrijević
|
9a5614e8c5
|
Swift: subsume IterableDeclContext into Decl [codegen'd]
|
2023-01-28 00:44:49 +01:00 |
|
Geoffrey White
|
794ba428a7
|
Merge pull request #11942 from geoffw0/rncrypt4
Swift: add RNCryptor sinks to swift/static-initialization-vector
|
2023-01-27 14:33:06 +00:00 |
|
Geoffrey White
|
e92a5eb467
|
Merge pull request #11911 from geoffw0/rncrypt2
Swift: Add RNCryptor sinks to swift/hardcoded-key
|
2023-01-25 15:11:16 +00:00 |
|
Geoffrey White
|
f6fe627f4b
|
Merge pull request #11914 from geoffw0/rncrypt3
Swift: Add RNCryptor sinks to swift/constant-salt
|
2023-01-25 13:05:33 +00:00 |
|
Geoffrey White
|
5ddff790b6
|
Swift: Autoformat.
|
2023-01-23 16:46:58 +00:00 |
|
Geoffrey White
|
f05be77a0b
|
Swift: Recognize more array sources.
|
2023-01-20 15:25:00 +00:00 |
|
Geoffrey White
|
7648e8f6a3
|
Swift: Recognize more sources.
|
2023-01-20 15:08:12 +00:00 |
|
Geoffrey White
|
581c478872
|
Swift: Model RNCryptor.
|
2023-01-20 14:50:23 +00:00 |
|
Geoffrey White
|
bb59d055ff
|
Swift: Add tests for RNCryptor library.
|
2023-01-20 14:50:21 +00:00 |
|
Geoffrey White
|
976b0401be
|
Merge pull request #11876 from geoffw0/coredata
Swift: Improve Core Data sinks for swift/cleartext-storage-database
|
2023-01-20 11:02:03 +00:00 |
|
Geoffrey White
|
2875d8645c
|
Swift: Cover additional edge case.
|
2023-01-19 11:34:07 +00:00 |
|
Geoffrey White
|
4c47de58c1
|
Swift: Add a few more test cases.
|
2023-01-19 11:27:44 +00:00 |
|
Geoffrey White
|
b033114f64
|
Swift: sources in extension protocols.
|
2023-01-19 10:04:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
14468b64fb
|
Merge pull request #11924 from atorralba/atorralba/optbinding-getters
Swift: Support more CFG node types in optional binding flow
|
2023-01-18 16:37:11 +00:00 |
|
Geoffrey White
|
5d6f2436e4
|
Merge branch 'main' into coredata
|
2023-01-18 13:39:02 +00:00 |
|
Tony Torralba
|
90517e254a
|
Accept test expectation changes
|
2023-01-18 13:25:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
48439bc252
|
Merge pull request #11905 from geoffw0/rncrypt
Swift: Add RNCryptor sinks to swift/constant-password
|
2023-01-18 11:43:23 +00:00 |
|
Tony Torralba
|
4a89a30abd
|
Add failing test
|
2023-01-18 12:41:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8bcfb77b2
|
Merge pull request #11836 from geoffw0/optbinding
Swift: Data flow through optional binding
|
2023-01-18 11:25:27 +00:00 |
|
Geoffrey White
|
71c1ca53a9
|
Merge branch 'main' into rncrypt
|
2023-01-18 11:09:09 +00:00 |
|
Geoffrey White
|
a568d0af7f
|
Swift: Remove unused variable.
|
2023-01-17 18:10:02 +00:00 |
|
Geoffrey White
|
b3d30bfc4f
|
Swift: Add NumberLiteral sources as well.
|
2023-01-17 18:04:26 +00:00 |
|
Geoffrey White
|
d1cfdb97ee
|
Swift: Model RNCryptor.
|
2023-01-17 17:55:52 +00:00 |
|
Geoffrey White
|
a92e1c7ea0
|
Swift: Add tests for RNCryptor library.
|
2023-01-17 17:31:49 +00:00 |
|
Geoffrey White
|
9911dd53e1
|
Merge branch 'main' into coredata
|
2023-01-17 16:22:53 +00:00 |
|
Geoffrey White
|
ea06ad1933
|
Merge pull request #11529 from geoffw0/format
Swift: Uncontrolled format string query
|
2023-01-17 16:16:10 +00:00 |
|
Geoffrey White
|
3c55cdd5be
|
Swift: Catch the last two test results as well.
|
2023-01-17 16:04:58 +00:00 |
|
Geoffrey White
|
d42848bb7e
|
Swift: Upgrade the query from dataflow to taint tracking, so as to support more flows.
|
2023-01-17 16:04:58 +00:00 |
|
Geoffrey White
|
a8ef9cc987
|
Swift: Add tests for RNCryptor library.
|
2023-01-17 16:04:57 +00:00 |
|