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 |
|
Paolo Tranquilli
|
20eaa34485
|
Swift: failing tests for linkage awareness
|
2023-01-18 10:07:46 +01:00 |
|
Paolo Tranquilli
|
2c4c2dfeb3
|
Swift: remove obsolete configuration fields
|
2023-01-18 08:55:59 +01: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
|
5e5c4e9a8c
|
Swift: Accept QL-for-QL recommendation.
|
2023-01-17 16:25:34 +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 |
|