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ć
6895c113cf
Swift: extract closure captures (hand-written part)
2023-02-02 11:30:33 +01:00
Nora Dimitrijević
87f7bc3a63
Swift: introduce closure capture AST test
2023-02-02 11:30:33 +01:00
Tony Torralba
24527bfc4e
Minor change in WKNavigationDelegateSource to work around a bug
2023-02-01 17:44:08 +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
Tony Torralba
837cdf7782
Merge pull request #12046 from atorralba/atorralba/urlrequest-models
...
Swift: Add taint for URLRequest fields
2023-02-01 09:24:17 +01:00
Geoffrey White
7f58a2222a
Merge branch 'main' into protocol-extension
2023-01-31 16:06:55 +00:00
Geoffrey White
ee442e4d4b
Merge pull request #11979 from geoffw0/modern1
...
Swift: Modernize injection queries
2023-01-31 10:54:35 +00:00
Tony Torralba
e9a46c926d
Add taint for URLRequest fields
2023-01-31 11:15:45 +01:00
Nora Dimitrijević
fb88372c0f
Merge pull request #11862 from d10c/swift/rename-iterabledeclcontext
2023-01-30 16:03:49 +01:00
Alex Denisov
b71c5e6c4b
Swift: ignore sandbox-exec
2023-01-30 15:10:30 +01:00
Nora Dimitrijević
9346f4d760
Swift: fix failing tests
2023-01-30 11:39:06 +01:00
Nora Dimitrijević
d5f11dfe60
Swift: db upgrade/downgrade script
2023-01-28 00:44:49 +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
Nora Dimitrijević
f96c18a6db
Swift: subsume IterableDeclContext into Decl [hand-written]
2023-01-28 00:44:48 +01:00
Mathias Vorreiter Pedersen
95b15825f9
DataFlow: Sync identical files.
2023-01-27 16:24:31 +00:00
Geoffrey White
6c0b50c696
Merge pull request #11980 from geoffw0/modern2
...
Swift: Structure modernized queries more consistently
2023-01-27 14:33:43 +00: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
Paolo Tranquilli
f4cb920624
Merge pull request #11932 from github/redsun82/swift-docs
...
Swift: add and fix some `schema.py` documentation
2023-01-25 10:52:00 +01:00
Geoffrey White
fe13137b48
Swift: Make default implementations private.
2023-01-25 09:29:03 +00:00
Geoffrey White
439d9199be
Swift: Add CSV extension points.
2023-01-24 19:28:05 +00:00
Geoffrey White
13d308a4d6
Swift: Autoformat.
2023-01-24 19:15:51 +00:00
Geoffrey White
5375678ca6
Swift: Add consistent CSV extension points.
2023-01-24 18:49:50 +00:00
Geoffrey White
6a210d719b
Swift: Rename QueryExtensions.qll files for consistency.
2023-01-24 17:58:13 +00:00
Geoffrey White
6a946f6eed
Swift: Modernize.
2023-01-24 17:26:51 +00:00
Paolo Tranquilli
4880ab41a2
Swift: use weakly_canonical instead of canonical
...
`weakly_canonical` will resolve as much as possible in the path, and not
return an error if it can't resolve everything (for example due to a
non existant file). In any case in case of problems with the file we
will see an error when actually using the resolved path.
This tunes down some unhelpful log messages.
2023-01-24 16:34:47 +01:00
Paolo Tranquilli
a74247e5d8
Swift: add filename to an error message
2023-01-24 16:29:10 +01:00
Paolo Tranquilli
6b77e6748a
Swift: use same implementation for createTarget{Link,Object}Domain
2023-01-24 16:27:21 +01:00
Geoffrey White
78eff0dc60
Swift: Split off the Extensions.qll as well.
2023-01-24 15:19:41 +00:00
Geoffrey White
cbfa7e7252
Swift: Move query logic into .qlls.
2023-01-24 15:04:10 +00:00
Paolo Tranquilli
23344a7183
Merge branch 'main' into redsun82/swift-linkage-awareness
2023-01-24 15:47:44 +01:00
Geoffrey White
19527016a5
Swift: Use numeric types in CleartextLogging.qll.
2023-01-23 16:52:03 +00:00
Geoffrey White
5ddff790b6
Swift: Autoformat.
2023-01-23 16:46:58 +00:00
Alex Ford
55550e7980
Merge pull request #11941 from alexrford/summary-component-tostring-syntheticglobal
...
Add missing toString case for synthetic globals
2023-01-23 10:00:00 +00:00
Michael Nebel
69a42d8b1f
Merge pull request #11931 from michaelnebel/csharp/refactor
...
Remove the Csv postfix of some predicate names.
2023-01-23 09:09:48 +01: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
Alex Ford
e4df1f5a6f
Ruby: add missing toString case for synthetic globals
2023-01-20 13:31:43 +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
Paolo Tranquilli
1c086aae7c
Swift: add internal imports to ParentChild.qll
2023-01-20 09:59:36 +01:00
Paolo Tranquilli
e840b8f707
Swift: add and fix some schema.py documentation
2023-01-19 18:07:47 +01:00
