2639 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	4f1b2c6194	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	a8a04c8588	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	6528985a27	C++: Add QLDoc to 'hasAddressOperandAndIndirectionIndex'.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	3365ff0d95	C++: Ensure that 'PrintIR' for dataflow still compiles.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	3b0a286d8e	C++: Adjust the rest of the library to the new API.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	6034eb07af	C++: Change the API for indirect operands and indirection instructions to not allow pointer conflation.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	9e9c811eb3	C++: Fix conflation bug in 'getIRRepresentationOfIndirectInstruction'.	2023-06-22 10:59:11 +01:00
Robert Marsh	ba7cb8f4ae	C++: fix range analysis back edge detection for irreducible CFGs	2023-06-21 17:54:52 -04:00
Owen Mansel-Chan	d7c97f8759	Merge pull request #13455 from owen-mc/dataflow/add-flowCheckNodeSpecific ... Dataflow: add language-specific hook for breaking up big step relation	2023-06-20 13:24:26 +01:00
Mathias Vorreiter Pedersen	952dbd69e9	C++: Default to one indirection in the case of self iterators.	2023-06-20 12:59:27 +01:00
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