3806 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	fd832416d8	Dataflow: Add empty type strengthening predicate for languages without type pruning.	2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen	e8cea79f1d	Dataflow: Sync.	2023-06-09 08:37:35 +02:00
github-actions[bot]	e4be303a23	Release preparation for version 2.13.4	2023-06-08 19:57:37 +00:00
Mathias Vorreiter Pedersen	afb1129f27	C++: Ensure that postfix crement operations are handled properly in dataflow SSA.	2023-06-08 12:50:05 +01:00
erik-krogh	39438c6196	add change-note	2023-06-08 10:15:32 +02:00
erik-krogh	2241350d32	wait with deprecating Container::getURL()	2023-06-08 10:10:21 +02:00
erik-krogh	a4ef8619c6	delete old deprecations	2023-06-08 10:10:21 +02:00
Erik Krogh Kristensen	6ba7f9a238	Merge pull request #13352 from erik-krogh/once-again-deps-not-py-cpp ... delete old deprecations	2023-06-07 13:00:57 +02:00
Mathias Vorreiter Pedersen	05e5ebe4f4	Merge pull request #13331 from aibaars/use-shortest-distances-to-count-indirections ... C++: Use the shortestDistances HOP to count indirections (rebased copy of #13323)	2023-06-02 11:22:59 +01:00
erik-krogh	5cbe6db37d	C++: sync files from C#	2023-06-02 11:58:08 +02:00
Mathias Vorreiter Pedersen	cc8aac5435	C++: Use the 'shortestDistances' HOP to count indirections instead of manual recursion. This avoids cyclic problems when we have invalid types.	2023-06-02 11:17:08 +02:00
Mathias Vorreiter Pedersen	4497aa5eb1	Merge pull request #13333 from geoffw0/macroname ... C++: Make Macro.getName() more efficient.	2023-05-31 13:56:58 -07:00
Alexandre Boulgakov	67cd6b7fa6	Merge pull request #13337 from MathiasVP/revert-13207 ... Revert #13207	2023-05-31 19:41:01 +01:00
Mathias Vorreiter Pedersen	52eb7aee5e	Revert "Merge pull request #13207 from MathiasVP/use-equiv-class-in-getInstruction" ... This reverts commit 5bc844c4c6, reversing changes made to b2fb2aa0d1.	2023-05-31 11:26:09 -07:00
Geoffrey White	a9811fe2c3	Swift: Make Macro.getName() more efficient.	2023-05-31 10:53:02 +01:00
Arthur Baars	490d22d123	Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3	2023-05-30 21:31:28 +02:00
Robert Marsh	5bc844c4c6	Merge pull request #13207 from MathiasVP/use-equiv-class-in-getInstruction ... C++: Reduce memory pressure from `getInstruction`	2023-05-26 13:13:57 -04:00
Mathias Vorreiter Pedersen	e7f82a3571	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-05-25 13:56:01 -07:00
Mathias Vorreiter Pedersen	384ca0c31f	C++: Respond to review comments.	2023-05-25 13:50:35 -07:00
Mathias Vorreiter Pedersen	a7252e625e	C++: Fix result duplication on 'cpp/unbounded-write' on 'kirxkirx/vast'.	2023-05-25 11:12:01 -07:00
Robert Marsh	7404bd9c4b	Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement	2023-05-24 14:13:38 -04:00
github-actions[bot]	d2e192020b	Post-release preparation for codeql-cli-2.13.3	2023-05-24 11:26:12 +00:00
Jeroen Ketema	5dc3789df2	Merge pull request #13266 from MathiasVP/modernize-print-ir-local-flow ... C++: Modernize `PrintIR` for local dataflow	2023-05-24 10:54:10 +02:00
Robert Marsh	bad72c42c5	Merge pull request #13244 from MathiasVP/promote-product-flow ... C++: Promote the product-dataflow library out of experimental	2023-05-23 16:23:59 -04:00
Mathias Vorreiter Pedersen	4b92a2a3d0	C++: Fix Code Scanning error.	2023-05-23 10:13:19 -07:00
Mathias Vorreiter Pedersen	43459c16fd	C++: Modernize the PrintIRStoreSteps (and rename it to PrintIRFieldFlowSteps) after the use-use flow changes.	2023-05-23 10:02:54 -07:00
Mathias Vorreiter Pedersen	8ee7694e7d	C++: Modernize the PrintIRLocalFlow after the use-use flow changes.	2023-05-23 10:02:30 -07:00
Mathias Vorreiter Pedersen	0519ceeeaa	C++/C#: Sync identical files.	2023-05-23 10:00:26 -07:00
Mathias Vorreiter Pedersen	ccc9e09dbd	C++: Add mechanism to hide specific instructions and operands from PrintIR.	2023-05-23 10:00:09 -07:00
Mathias Vorreiter Pedersen	81dbfecbfc	C++: Promote the product-dataflow library out of experimental.	2023-05-23 09:48:50 -07:00
Mathias Vorreiter Pedersen	36285ba2c5	C++: Fix pointer/pointee conflation.	2023-05-22 17:39:43 -07:00
github-actions[bot]	7aa23cf11d	Release preparation for version 2.13.3	2023-05-22 20:47:00 +00:00
Robert Marsh	6a997aba3b	C++: fix equality refinement in new range analysis	2023-05-22 11:11:51 -04:00
Jeroen Ketema	f31ab3a7e7	C++: Add change note	2023-05-22 16:00:12 +02:00
Jeroen Ketema	f46183d0ba	C++: Include inline namespaces in StdNamespace	2023-05-22 11:41:49 +02:00
Mathias Vorreiter Pedersen	8cf25ba421	Merge pull request #13191 from MathiasVP/fix-pointer-pointee-conflation ... C++: Fix pointer/pointee conflation	2023-05-18 13:09:10 +01:00
Mathias Vorreiter Pedersen	a475efbe39	Update cpp/ql/lib/semmle/code/cpp/Type.qll	2023-05-18 09:37:20 +01:00
Mathias Vorreiter Pedersen	f3b6b470f4	C++: Update documentation for 'TypeMention'.	2023-05-18 09:32:31 +01:00
Mathias Vorreiter Pedersen	9e05569121	C++/C#: Sync identical files.	2023-05-17 15:42:44 +01:00
Mathias Vorreiter Pedersen	57cc316ecd	C++: Fix bug for single-instruction basic blocks.	2023-05-17 15:42:38 +01:00
Mathias Vorreiter Pedersen	771abf4f97	C++/C#: Sync identical files.	2023-05-17 13:47:01 +01:00
Mathias Vorreiter Pedersen	3b2c3f6f40	C++: Use an 'EquivalenceRelation' instead of the 'shortestDistances' HOP in 'getInstruction'. This reduces the memory pressure when generating the CFG for Wireshark.	2023-05-17 13:46:51 +01:00
Mathias Vorreiter Pedersen	06d5a7f0ef	Merge pull request #13139 from MathiasVP/faster-product-flow ... C++: Speedup product dataflow	2023-05-17 13:40:39 +01:00
Jeroen Ketema	883ec7a0e9	C++: Add forgotten private specifiers in product flow	2023-05-17 11:24:46 +02:00
Mathias Vorreiter Pedersen	150d4f341a	C++: Fix looping flow that goes from the output argument node and back into the function argument.	2023-05-16 17:39:59 +01:00
Mathias Vorreiter Pedersen	e1cc7dcdc1	C++: Tweak join orders.	2023-05-12 16:12:15 +01:00
Mathias Vorreiter Pedersen	3f01a2157b	Revert "C++: Speedup 'isSuccessor'." ... This reverts commit 594da1a21a.	2023-05-12 13:41:34 +01:00
Mathias Vorreiter Pedersen	2458fa0ab3	C++: Push conjunct into 'isSuccessor' and rename it to 'fwdIsSuccessor'.	2023-05-12 12:50:40 +01:00
Mathias Vorreiter Pedersen	594da1a21a	C++: Speedup 'isSuccessor'.	2023-05-12 12:05:09 +01:00
Mathias Vorreiter Pedersen	e58b99ddd1	C++: Don't carry the sources around as columns during the main loop of product flow.	2023-05-12 11:58:43 +01:00