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
Michael Nebel
dc223cb82e
Sync files and make corresponding changes for other languages.
2023-01-19 15:14:06 +01:00
Geoffrey White
62125fa767
Swift: Explanatory comments.
2023-01-19 11:55:16 +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
5f8875ff89
Swift: give variables more helpful names.
2023-01-19 10:31:23 +00:00
Geoffrey White
b033114f64
Swift: sources in extension protocols.
2023-01-19 10:04:04 +00:00
Paolo Tranquilli
57ec5db1a9
Merge branch 'main' into redsun82/swift-linkage-awareness
2023-01-19 10:49:33 +01:00
Paolo Tranquilli
490bd051cd
Swift: expand ref in autogenerated docs
2023-01-19 09:27:44 +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
Alex Denisov
35620c4c86
Swift: drop dead code
2023-01-18 15:35:40 +01: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
d75a5212b2
Support more CFG node types in optional binding flow
2023-01-18 12:42:44 +01: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
Rasmus Wriedt Larsen
e0ccb9306a
Merge pull request #11908 from RasmusWL/dataflow-consistency-more-excludes
...
DataFlow: Add `uniqueParameterNodePositionExclude`
2023-01-18 10:44:51 +01:00
AlexDenisov
8910ba4f32
Merge pull request #11919 from github/redsun82/swift-obsolete-conf
...
Swift: remove obsolete configuration fields
2023-01-18 10:34:24 +01:00
Paolo Tranquilli
f383fd1dc1
Swift: introduce module disambuigation via linkage awareness
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
d7feb001be
Swift: prepare extractSwiftInvocation
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
a3b4c32f07
Swift: stamp all named declarations with an id-ref to the containing module
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
f7a046ccd2
Swift: add trap linkage awareness infrastructure
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
5fdb09380c
Swift: move TargetTrapDomain to TargetDomains in infra
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
7f389b9f9a
Swift: introduce TrapType
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
353536b826
Swift: collect original output module paths
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
84b285a4c6
Swift: collect source files
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
33c4a8233c
Swift: collect encountered modules
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
c7f13f1036
Swift: collect TRAP files related to an extractor run
...
In order to do this a mutable `SwiftExtractorState` is introduced.
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
c31c515205
Swift: move TargetFile as managed inside TrapDomain
2023-01-18 10:07:46 +01:00
