3353 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	2cb4a554ea	C++: Fix a bug in Expr <-> Node mapping.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	5a8b900394	C++: Properly track smart pointer wrappers.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	64abf5b163	C++: Add conflation into DefaultTaintTracking.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	b951bf0f8f	C++: Remove conflation from taint-tracking.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	a5bb093935	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-27 14:57:06 +00:00
Mathias Vorreiter Pedersen	7437de2909	C++: Fix issue where 'getEnclosingCallable' didn't exist for some globals.	2023-02-27 14:06:13 +00:00
Anders Schack-Mulligen	7e3e10c34b	C/C++: Remove reference to Partial Flow.	2023-02-27 14:30:05 +01:00
Anders Schack-Mulligen	bf650c755c	Dataflow: Sync changes to all languages.	2023-02-27 14:30:05 +01:00
github-actions[bot]	8eb8daa4d4	Post-release preparation for codeql-cli-2.12.3	2023-02-16 17:23:25 +00:00
github-actions[bot]	b0315119c6	Release preparation for version 2.12.3	2023-02-16 11:49:06 +00:00
Mathias Vorreiter Pedersen	2203eb6607	C++: Fix Code Scanning error.	2023-02-15 11:51:55 +00:00
Mathias Vorreiter Pedersen	c11218fcde	Merge pull request #12184 from MathiasVP/discriminate-union-contents	2023-02-14 23:36:02 +00:00
Jeroen Ketema	1d4e9745a3	Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-14 15:40:36 +01:00
Mathias Vorreiter Pedersen	2591460731	Merge pull request #12181 from MathiasVP/fix-node-type ... C++: Fix node types	2023-02-14 13:54:12 +00:00
Mathias Vorreiter Pedersen	ba0be2fd9f	C++: Better discriminate for unions.	2023-02-14 13:26:40 +00:00
Mathias Vorreiter Pedersen	b01a45f7be	C++: Respond to PR reviews.	2023-02-14 09:51:48 +00:00
Mathias Vorreiter Pedersen	bda46b3748	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-02-14 09:49:32 +00:00
Mathias Vorreiter Pedersen	ffef81bc47	C++: Add QLDoc.	2023-02-14 09:38:43 +00:00
Mathias Vorreiter Pedersen	0a3f958849	C++: Use content approximations.	2023-02-14 09:10:10 +00:00
Mathias Vorreiter Pedersen	cc036c188f	C++: Fix missing and spurious types.	2023-02-14 09:01:42 +00:00
Anders Schack-Mulligen	e877b161d8	Merge pull request #12124 from hvitved/dataflow/stage1-dispatch ... Data flow: Call context virtual dispatch pruning in stage 1	2023-02-13 13:13:43 +01:00
Jeroen Ketema	b9200c92d5	C++: Address review comments	2023-02-13 11:14:48 +01:00
Jeroen Ketema	3dfe0adf0a	C++: Fix formatting	2023-02-13 09:45:23 +01:00
Jeroen Ketema	3482158fee	C++: Add semmle.code.cpp.dataflow.new	2023-02-13 09:38:23 +01:00
Tom Hvitved	f7a5a33474	Address review comment	2023-02-13 09:01:15 +01:00
Mathias Vorreiter Pedersen	378484ec01	Merge pull request #12149 from MathiasVP/fewer-flowthroughs ... C++: Fix spurious flow-through	2023-02-10 18:45:46 +00:00
Jeroen Ketema	7bd28183ba	Merge pull request #12151 from jketema/remove-experimental-dataflow ... C++: Remove experimental copy of the use-use IR dataflow library	2023-02-10 18:08:14 +01:00
Jeroen Ketema	b023c6bb23	C++: Remove experimental copy of the use-use IR dataflow library	2023-02-10 16:20:33 +01:00
Jeroen Ketema	1a83b712a0	C++: Add change note	2023-02-10 15:27:49 +01:00
Mathias Vorreiter Pedersen	9a8b3bad31	C++: Respond to PR reviews.	2023-02-10 13:56:19 +00:00
Jeroen Ketema	ecdeb9a970	C++: Revert semmle.code.cpp.dataflow to its old state ... While here make sure all queries and tests use IR dataflow when appropriate.	2023-02-10 14:21:44 +01:00
Mathias Vorreiter Pedersen	5bd7589109	C++: Fix spurious flow though and accept test changes.	2023-02-10 12:42:40 +00:00
Mathias Vorreiter Pedersen	e1aef3127c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-10 09:23:37 +00:00
Mathias Vorreiter Pedersen	9aa9187dd7	Merge pull request #12141 from MathiasVP/fix-multiple-out-nodes ... C++: Deduplicate `OutNode`s	2023-02-10 08:39:16 +00:00
Mathias Vorreiter Pedersen	981c976754	C++: Expand comments.	2023-02-09 17:10:07 +00:00
Mathias Vorreiter Pedersen	6b851d0529	C++: Fix an inconsistency with too many out nodes.	2023-02-09 16:55:19 +00:00
Jeroen Ketema	e4c211df2d	C++: Address review comments	2023-02-09 11:58:41 +01:00
Tom Hvitved	8e8897b08b	Data flow: Sync files	2023-02-07 15:15:04 +01:00
Jeroen Ketema	20ce4cdf91	C++: Map operand nodes that are only used once onto the related instruction node	2023-02-07 14:17:54 +01:00
Mathias Vorreiter Pedersen	746f04bafc	C++: Construct fewer strings.	2023-02-07 11:44:32 +00:00
Mathias Vorreiter Pedersen	4016299aa8	Update cpp/ql/lib/semmle/code/cpp/security/Encryption.qll ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2023-02-06 15:55:15 +00:00
Jeroen Ketema	d108185ec7	Merge pull request #12102 from jketema/fix-typos ... C++: Fix some typos in the use-use dataflow code	2023-02-06 16:50:48 +01:00
Mathias Vorreiter Pedersen	1c9a526afa	C++: Construct fewer strings.	2023-02-06 15:18:15 +00:00
Jeroen Ketema	30952f6a24	C++: Fix some typos in the use-use dataflow code	2023-02-06 11:56:59 +01:00
Mathias Vorreiter Pedersen	00fe448e3a	Merge pull request #12072 from aschackmull/dataflow/stage3-perf ... Dataflow: Fix join in `fwdFlowRead` (take 2)	2023-02-06 10:43:11 +00:00
Mathias Vorreiter Pedersen	559c799309	C++: Also recognize iterators obtained via a function that doesn't receive the container as a qualiifer.	2023-02-03 21:43:21 +00:00
Mathias Vorreiter Pedersen	77250af444	Merge pull request #12050 from MathiasVP/flow-out-of-iterators-3	2023-02-03 18:43:37 +00:00
Mathias Vorreiter Pedersen	0a6f914bfc	C++: Make the documentation on 'isSink' less ambiguous.	2023-02-03 14:09:01 +00:00
Mathias Vorreiter Pedersen	0aed890b15	C++: Undo QLDoc change.	2023-02-03 14:02:55 +00:00
github-actions[bot]	faf21f3edb	Post-release preparation for codeql-cli-2.12.2	2023-02-02 23:01:04 +00:00