9055 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	16ba4652af	C++: Allocate an additional indirection for void pointers.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	f6b9ca3da6	C++: Add failing test.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	da4a059388	C++: Accept test changes.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	52e6e1dece	C++: Fix flow through partial definitions.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	575ac46bf3	C++: Add failing test.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	b952f619db	C++: Accept test changes.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	057e810122	C++: Fix flow through arrays.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	9d64c0a023	C++: Add failing test.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	1e4caca23a	C++: Accept query changes. Nothing bad to see here.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	2cb4a554ea	C++: Fix a bug in Expr <-> Node mapping.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	09df318e9e	C++: Also track flow out of indirect sources.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	a806569b5f	C++: The next commit is going to track flow out of both direct and indirect sources. This means we'll get a lot of duplication since there'll be flow from indirect source -> indirect sink and direct source -> direct sink (which both map to the same expressions). This commit changes the testing so that we only report a duplication when they're at different locations.	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
Nick Rolfe	3e5534f0ba	Merge branch 'main' into post-release-prep/codeql-cli-2.12.3	2023-02-17 14:39:26 +00: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
Michael B. Gale	eab3c6dd5e	Fix missing implementations for C++ tests	2023-02-16 11:07:38 +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	899f35a59b	Merge pull request #12185 from jketema/test-annotations ... C++: Update test annotations for use-use dataflow	2023-02-14 15:48:35 +01: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
Jeroen Ketema	9e462866a0	C++: Update test annotations for use-use dataflow	2023-02-14 14:48:08 +01: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	7a81f06e84	C++: Accept test changes.	2023-02-14 09:01:51 +00:00
Mathias Vorreiter Pedersen	cc036c188f	C++: Fix missing and spurious types.	2023-02-14 09:01:42 +00:00
Mathias Vorreiter Pedersen	748a345e7f	C++: Add a test to reveal missing or spurious types on dataflow nodes.	2023-02-14 08:58:29 +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
Jeroen Ketema	996eb6c63c	C++: Fix Ql-for-QL warnings	2023-02-13 09:22:31 +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
Mathias Vorreiter Pedersen	168202dbf7	Update cpp/ql/test/library-tests/dataflow/dataflow-tests/has-parameter-flow-out.ql ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-02-10 16:36:40 +00:00
Jeroen Ketema	5f33827eca	C++: Update test results	2023-02-10 17:10:52 +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	faf9fd6253	C++: Add a testcase (and a new test) to test flow through functions.	2023-02-10 12:40:29 +00:00