2466 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	b43702451f	C++: Remove self edges from post-update SSA.	2023-05-05 15:47:00 +01:00
Mathias Vorreiter Pedersen	4048915c8c	C++: Remove self edges from non-post-update SSA.	2023-05-05 15:45:44 +01:00
Mathias Vorreiter Pedersen	c0b3a1896b	C++: No phi self-edges.	2023-05-05 12:16:52 +01:00
Mathias Vorreiter Pedersen	09ba9a74ce	Merge pull request #12959 from MathiasVP/identity-consistency-check ... DataFlow: Add an "identity-step" consistency check	2023-05-05 10:03:20 +01:00
Robert Marsh	e32e28d95f	Merge pull request #13035 from MathiasVP/ranked-phi-hack-for-bounded-phi ... C++: Work around poor codegen for `forex` in IR-based range analysis	2023-05-04 16:48:00 -04:00
Mathias Vorreiter Pedersen	5a5240dbf9	Merge pull request #12865 from rdmarsh2/rdmarsh2/range-analysis-ast-wrapper ... C++: AST-based wrapper for new range analysis	2023-05-04 16:10:21 +01:00
Mathias Vorreiter Pedersen	f94eb74a7b	C++: Move 'rankedPhiInput' to the 'RangeUtils' module and use it in 'RangeAnalysisStage.qll'.	2023-05-04 12:20:17 +01:00
Jeroen Ketema	0b2f5609d6	Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached ... C++: Handle nonreturning functions in IR generation	2023-05-03 23:20:46 +02:00
Mathias Vorreiter Pedersen	77001a070b	Merge branch 'main' into identity-consistency-check	2023-05-03 22:01:06 +01:00
Mathias Vorreiter Pedersen	2af48e2536	Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions ... C++: Barrier guards API for indirect expressions	2023-05-03 18:14:01 +01:00
Mathias Vorreiter Pedersen	2d98fb7cf1	C++: Add a parameter-based version of 'getAnIndirectBarrierNode'.	2023-05-03 17:06:59 +01:00
Kasper Svendsen	c9fba18c48	C++: Make implicit this receivers explicit	2023-05-03 10:31:01 +02:00
Robert Marsh	2bfa8b661b	C++: a some QLDoc to new range analysis wrapper	2023-05-02 09:43:25 -04:00