2187 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	1365d0911d	Swift: generalize synth constructors ... Now all types get a default synth constructor.	2022-08-15 16:12:19 +02:00
Paolo Tranquilli	8ba330a886	Swift: rename conversion predicates	2022-08-15 15:04:39 +02:00
Paolo Tranquilli	ace92d0958	Swift: rename Db to Raw	2022-08-15 14:54:21 +02:00
Paolo Tranquilli	9347030611	Swift: rename Ipa to Synth	2022-08-15 14:31:17 +02:00
Anders Schack-Mulligen	a3fb54c9de	Merge pull request #10007 from aschackmull/dataflow/source-node-identity ... Dataflow: Fix identification of source PathNodes in the presence of source-to-source flow	2022-08-15 10:39:17 +02:00
Paolo Tranquilli	176009ca88	Merge branch 'main' into redsun82/swift-first-prototype-of-generated-ipa-layer	2022-08-15 10:18:41 +02:00
Erik Krogh Kristensen	73df8e4c7d	Merge pull request #9832 from erik-krogh/misspellings ... Fix lots of misspellings	2022-08-11 12:43:26 +02:00
erik-krogh	c778b38a77	delete the dead TypeRepr files	2022-08-11 10:56:58 +02:00
erik-krogh	a5239bc1e8	fix one more misspelling in swift	2022-08-11 10:27:20 +02:00
Erik Krogh Kristensen	887f6557ed	fix common misspellings throughout github/codeql	2022-08-10 23:21:41 +02:00
Geoffrey White	6ffe5fcaed	Swift: Comment some other cases.	2022-08-10 15:46:32 +01:00
Geoffrey White	537caf85f2	Swift: Fix cartesian product.	2022-08-10 15:46:30 +01:00
Geoffrey White	e09e64ee85	Swift: Restrict taint flow through + to strings.	2022-08-10 15:46:28 +01:00
Geoffrey White	f3499e98a4	Swift: Move try, ! to dataflow.	2022-08-10 15:13:04 +01:00
Anders Schack-Mulligen	abad133ab5	Dataflow: Fix identification of source PathNodes in the presence of source-to-source flow.	2022-08-10 15:02:56 +02:00
Geoffrey White	efcc696e6e	Merge branch 'main' into defaulttaint	2022-08-09 18:59:36 +01:00
Geoffrey White	36f410b9f7	Swift: Move taint logic from isAdditionalTaintStep to defaultAdditionalTaintStep.	2022-08-09 17:42:28 +01:00
Mathias Vorreiter Pedersen	06fecf3869	Swift: Include 'any!' in the the CFG tree for 'any' expressions.	2022-08-09 15:12:31 +01:00
Anders Schack-Mulligen	aa3655678e	Merge pull request #9823 from aschackmull/dataflow/stage-module ... Dataflow: Replace stage duplication with parameterised modules.	2022-08-08 10:56:32 +02:00
Mathias Vorreiter Pedersen	f2767eb03a	Merge pull request #9972 from MathiasVP/swift-taint-through-interpolated-strings ... Swift: Taint through interpolated strings	2022-08-05 15:55:35 +01:00
Robert Marsh	10710e27df	Merge pull request #9978 from MathiasVP/swift-fix-mad ... Swift: Fix flow summaries for methods	2022-08-05 09:53:16 -04:00
Mathias Vorreiter Pedersen	6cfeb24d94	Swift: More comments.	2022-08-05 13:30:45 +01:00
Mathias Vorreiter Pedersen	69564d2192	Swift: Add a couple of standard Comment subclasses.	2022-08-05 11:48:29 +01:00
Mathias Vorreiter Pedersen	a302570349	Merge branch 'main' into swift-taint-through-interpolated-strings	2022-08-05 11:17:54 +01:00
Mathias Vorreiter Pedersen	24c9ab8015	Swift: Fix MaD for methods	2022-08-05 10:52:28 +01:00
Alex Denisov	5e69adb0a9	Swift: extract comments	2022-08-05 11:50:48 +02:00
Mathias Vorreiter Pedersen	1c8090fa04	Merge pull request #9964 from geoffw0/cwe95 ... Swift: Query for CWE-79 / CWE-95	2022-08-05 10:38:33 +01:00
Anders Schack-Mulligen	3d47875b60	Dataflow: Generate shorter RA/DIL names.	2022-08-05 11:00:56 +02:00
Anders Schack-Mulligen	d3dcc3ce3a	Dataflow: Sync.	2022-08-05 11:00:56 +02:00
Mathias Vorreiter Pedersen	2f13c65ad7	Update swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImpl.qll ... Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>	2022-08-04 22:45:45 +01:00
Mathias Vorreiter Pedersen	9c48ce1bf2	Swift: Flow (1) through the internal function calls generated by the compiler during string interpolation, and (2) out of the internal 'TapExpr' and into the interpolated string result.	2022-08-04 21:57:05 +01:00
Mathias Vorreiter Pedersen	52b78b6e68	Swift: Don't assume we know the call target statically in 'TInOutUpdateNode'.	2022-08-04 21:57:04 +01:00
Mathias Vorreiter Pedersen	ff6b8c5c9c	Swift: Replace 'CallExpr' with 'ApplyExpr'. This is needed because not all the calls inside the interpolated string computations are 'CallExpr's.	2022-08-04 21:57:04 +01:00
Mathias Vorreiter Pedersen	3028b80e46	Swift: Control-flow through interpolated strings.	2022-08-04 21:57:04 +01:00
Mathias Vorreiter Pedersen	be7ba925f9	Swift: Cache 'lastRefRedef'.	2022-08-03 11:14:55 +01:00
Geoffrey White	ea17b852b4	Swift: Explain ExternalRemoteFlowSource.	2022-08-03 09:42:51 +01:00
Mathias Vorreiter Pedersen	e29676af72	Swift: Add 'TaintTracking.qll'.	2022-08-01 16:48:02 +01:00
Paolo Tranquilli	45e14c96f2	Swift: extract ModuleType	2022-07-29 16:48:45 +02:00
Paolo Tranquilli	457ce3d884	Swift: fix derived IPA type properties ... Also rename `IpaTypes.qll` to `Ipa.qll`	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	95df751425	Swift: new toString for ExprPattern	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	60795fc652	Swift: fix codescanning warnings	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	8b13adbb93	Swift: IPA layer tweaks	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	6abd4a6a29	Swift: fix QL libraries	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	c578505ae0	Swift: specialize Ipa <-> Db conversions	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	a16d5f72d1	Swift: cache equivalent of asDbInstance ... Which is now a predicate in the `IpaTypes.qll` file (where `Cached` was also renamed to `Ipa`).	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	ef09031cf9	Swift: fix autopep8 and codegen	2022-07-28 10:26:11 +02:00
Paolo Tranquilli	10976bbbab	Swift: use IPA layer in generated classes	2022-07-28 10:26:10 +02:00
Paolo Tranquilli	ea0725525b	Swift: first IPA layer	2022-07-28 10:26:10 +02:00
Paolo Tranquilli	9b26921cb6	Control flow: add order disambuigation customization	2022-07-28 09:11:42 +02:00
Paolo Tranquilli	ebf650c0c0	Control Flow: add more ordering for edges	2022-07-27 15:01:17 +02:00