2596 Commits

Author	SHA1	Message	Date
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
Anders Schack-Mulligen	353d5f82a6	Merge pull request #12984 from aschackmull/dataflow/instanceof-node ... Dataflow: Replace "extends Node" with "instanceof Node".	2023-05-02 13:52:33 +02:00
Mathias Vorreiter Pedersen	ab67103e6e	Merge pull request #12966 from MathiasVP/dataflow-for-static-vars ... C++: Dataflow for static local variables	2023-05-02 11:52:43 +01:00
Anders Schack-Mulligen	ca09649679	Dataflow: Forward hasLocationInfo.	2023-05-02 10:48:32 +02:00
Anders Schack-Mulligen	5927bb2030	Dataflow: Replace "extends Node" with "instanceof Node".	2023-05-02 09:48:34 +02:00
Robert Marsh	c6e0ee2695	C++: fix duplicated UnreachedInstruction in raw IR	2023-05-01 22:54:37 -04:00
Robert Marsh	6dfc59874b	C++: more UnreachedInstruction fixes	2023-05-01 22:25:18 -04:00
Robert Marsh	7f12f6dc3e	C++/C#: format and sync identical files	2023-05-01 22:25:18 -04:00
Robert Marsh	44b6af652e	C++: use Options::exits() for noreturn functions	2023-05-01 22:25:17 -04:00
Robert Marsh	c01ee597fa	C++: handle calls to noreturn functions	2023-05-01 22:25:12 -04:00
Anders Schack-Mulligen	6c8cb0dc5e	Merge pull request #12930 from aschackmull/dataflow/split-typedcontent ... Dataflow: Refactor access paths to split TypedContent into an explicit pair	2023-05-01 14:58:15 +02:00
Mathias Vorreiter Pedersen	498395b50e	C++: Add QLDoc to getA(nIndirect)BarrierNode.	2023-04-28 17:42:14 +01:00
Mathias Vorreiter Pedersen	8c8b919dfb	C++: Add an API for indirect barrier guards and use it in tests.	2023-04-28 14:09:08 +01:00
Mathias Vorreiter Pedersen	43527573d0	C++: Fix back edge detection for phi nodes.	2023-04-28 11:58:56 +01:00
Mathias Vorreiter Pedersen	c35cb70c9f	C++: Fix inconsistencies.	2023-04-28 10:40:18 +01:00
Mathias Vorreiter Pedersen	ee7b137c24	C++: Add dataflow for static locals.	2023-04-28 10:24:57 +01:00
Mathias Vorreiter Pedersen	5f4d0892ff	Merge pull request #12900 from MathiasVP/ir-translate-constant-static-local-vars-2	2023-04-28 08:46:25 +01:00
Robert Marsh	376e01ae3d	C++: update docs for new range analysis AST wrapper	2023-04-27 14:59:18 -04:00
Mathias Vorreiter Pedersen	e506f638fc	DataFlow: Sync identical files.	2023-04-27 18:40:33 +01:00
Mathias Vorreiter Pedersen	478f2dca3b	C++: Add a new dataflow consistency test.	2023-04-27 18:39:41 +01:00
Anders Schack-Mulligen	71ae0909d8	Dataflow: Enforce type pruning in all forward stages.	2023-04-27 14:55:26 +02:00