1529 Commits

Author	SHA1	Message	Date
erik-krogh	5fdfd98a1d	delete the deprecated Conatiner::getURL predicates	2023-06-19 23:11:38 +02:00
Owen Mansel-Chan	3ff6d033d3	Rename to neverSkipInPathGraph	2023-06-14 15:29:54 +01:00
Owen Mansel-Chan	5f72ce0935	Add stub implementations of flowCheckNodeSpecific	2023-06-14 14:46:35 +01:00
Owen Mansel-Chan	e0f7437d40	Sync dataflow library	2023-06-14 14:29:56 +01:00
Anders Schack-Mulligen	1b7bbf6320	Merge pull request #13083 from aschackmull/dataflow/typestrengthen ... Dataflow: Strengthen tracked types.	2023-06-09 13:23:30 +02:00
Mathias Vorreiter Pedersen	74ed9f535c	Merge pull request #13406 from MathiasVP/fix-++-problem ... C++: Fix the `++` problem	2023-06-09 11:20:00 +01:00
Anders Schack-Mulligen	d230509905	Dataflow: Address review comments.	2023-06-09 08:37:36 +02:00
Anders Schack-Mulligen	4399138c82	Dataflow: Fix QL4QL alert.	2023-06-09 08:37:36 +02:00
Anders Schack-Mulligen	53f2b8aab0	Dataflow: Sync.	2023-06-09 08:37:36 +02:00
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
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	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
Geoffrey White	a9811fe2c3	Swift: Make Macro.getName() more efficient.	2023-05-31 10:53:02 +01: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
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
Robert Marsh	6a997aba3b	C++: fix equality refinement in new range analysis	2023-05-22 11:11:51 -04: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	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	f7924bda0d	Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write ... C++: Use heuristic allocation functions in `cpp/overrun-write`	2023-05-12 10:15:28 +01:00
Mathias Vorreiter Pedersen	fd6282063e	Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2 ... C++: Fix more FPs on `cpp/invalid-pointer-deref`	2023-05-11 10:06:01 +01:00
Mathias Vorreiter Pedersen	477722a94a	Merge pull request #13101 from MathiasVP/member-predicates-on-CallAllocationExprTarget ... C++: Cleanup `CallAllocationExprBase` with module signature members	2023-05-10 16:52:30 +01:00
Kasper Svendsen	f8b3968b38	C++: Make implicit this receivers explicit	2023-05-10 15:15:21 +02:00
Mathias Vorreiter Pedersen	f05cce8fc2	C++: Add a member predicate to phi nodes for checking if a phi is a read-phi and use it to restrict flow in 'cpp/invalid-pointer-deref'.	2023-05-10 14:10:13 +01:00
Jeroen Ketema	c3a7f98b2f	Merge branch 'main' into fix-fp-in-invalid-deref-2	2023-05-10 11:31:10 +02:00
Kasper Svendsen	c3191e989b	Merge pull request #13078 from kaspersv/kaspersv/explicit-this-receivers-shared3 ... C#, C++: Make implicit this receivers explicit	2023-05-10 11:07:41 +02:00
Mathias Vorreiter Pedersen	6aa40050bd	C++: Use member predicates on parameterized module parameters now that it's available in the language.	2023-05-10 09:24:38 +01:00
Mathias Vorreiter Pedersen	720586c437	Merge pull request #13059 from MathiasVP/remove-self-edges ... C++: Remove self edges	2023-05-10 09:04:08 +01:00
Mathias Vorreiter Pedersen	363514e4ca	C++: Expand heuristic to catch more sources.	2023-05-10 08:27:29 +01:00
Kasper Svendsen	c46898cb75	C++: Make implicit this receivers explicit	2023-05-09 15:35:54 +02:00
Kasper Svendsen	a129513b80	C#, C++: Make implicit this receivers explicit	2023-05-09 15:33:51 +02:00