2345 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	6ce3f35ef5	C++: Fix API for guards.	2024-03-19 14:43:10 +00:00
Mathias Vorreiter Pedersen	597f0082e7	Merge pull request #15958 from MathiasVP/ir-guards-from-switch-statements-2 ... C++: Implement guards logic for switch statements	2024-03-19 13:21:45 +00:00
Mathias Vorreiter Pedersen	350b239ed6	C++: Fix cartesian product in 'simple_comparison_eq'.	2024-03-19 10:29:43 +00:00
Mathias Vorreiter Pedersen	0c3d9f75f4	C++: Add change note.	2024-03-19 09:41:58 +00:00
Tom Hvitved	fc55567d90	Merge pull request #15853 from hvitved/dataflow/get-location ... Data flow: Replace `hasLocationInfo` with `getLocation`	2024-03-18 20:21:46 +01:00
Mathias Vorreiter Pedersen	dbd47b387a	C++: Add AST wrappers for the new predicates.	2024-03-18 16:26:36 +00:00
Mathias Vorreiter Pedersen	44045d3eed	C++: Add guards logic for constant comparisons.	2024-03-18 16:07:57 +00:00
Mathias Vorreiter Pedersen	a21eea4ee0	C++: Generalize more predicates from booleans to abstract values.	2024-03-18 16:07:57 +00:00
Mathias Vorreiter Pedersen	575af1a5f9	Merge branch 'main' into experimental-surprising-lifetimes-for-range-based-for-loop	2024-03-18 11:11:32 +00:00
Mathias Vorreiter Pedersen	1d12e0c9d9	Merge pull request #15941 from MathiasVP/ir-guards-from-switch-statements ... C++: Handle `switch` statements in the guards library	2024-03-18 11:07:10 +00:00
Mathias Vorreiter Pedersen	f4f417c3f9	C++: Fix QLoc.	2024-03-15 17:19:36 +00:00
Mathias Vorreiter Pedersen	b5e59492bf	C++: Add change note.	2024-03-15 17:17:05 +00:00
Mathias Vorreiter Pedersen	34decd3cf1	C++: Add more general public predicates to work with abstract values.	2024-03-15 17:03:45 +00:00
Mathias Vorreiter Pedersen	f4eb5f5a2d	C++: Convert 'getBranchSuccessor' to use abstract values.	2024-03-15 17:03:45 +00:00
Mathias Vorreiter Pedersen	b7292fbc67	C++: Introduce 'AbstractValue' similar to what C# has.	2024-03-15 17:03:45 +00:00
Mathias Vorreiter Pedersen	2af68d37d0	C++: Include 'SwitchInstruction's as 'IRGuardCondition's.	2024-03-15 17:03:45 +00:00
Mathias Vorreiter Pedersen	f7c29e6bfb	C++: Expose some previously private classes from our models so they can be used in queries.	2024-03-15 14:21:39 +00:00
Mathias Vorreiter Pedersen	19c9ea7e20	C++: Implement alias and side effect models for iterators.	2024-03-15 12:13:43 +00:00
Mathias Vorreiter Pedersen	7fdea27d33	C++: Rename 'IndirectTemporaryExpr' to 'IndirectOperandExprNode'.	2024-03-14 11:46:15 +00:00
Mathias Vorreiter Pedersen	dacf7d73d9	Merge pull request #15918 from MathiasVP/fix-as-expr-for-temps ... C++: Fix dataflow node <> expression problem on prvalues	2024-03-14 09:38:46 +00:00
Mathias Vorreiter Pedersen	a24432bacc	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll	2024-03-14 09:23:33 +00:00
Mathias Vorreiter Pedersen	c375497fa5	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll	2024-03-14 09:16:04 +00:00
Mathias Vorreiter Pedersen	a839c92979	C++: Fix mapping issue between dataflow nodes and expressions when the expression is a prvalue.	2024-03-13 22:59:09 +00:00
Jeroen Ketema	866a3934d4	C++: suppress destructors with reuse expressions until proper support is added	2024-03-13 20:17:00 +01:00
Jeroen Ketema	67b3670d06	Merge pull request #15901 from jketema/destructors11 ... C++: Introduce re-use expressions in the database scheme	2024-03-13 18:27:28 +01:00
Jeroen Ketema	8d5eab401d	C++: Introduce re-use expressions in the database scheme	2024-03-13 13:28:27 +01:00
Mathias Vorreiter Pedersen	bcd36b1994	C++: Recognize glib allocations and deallocations.	2024-03-13 11:39:15 +00:00
Tom Hvitved	dddba3228b	Merge pull request #15867 from hvitved/dataflow/ap-limit ... Data flow: Add `ConfigSig::accessPathLimit`	2024-03-12 14:57:51 +01:00
Tom Hvitved	1c57e99686	C++: Implement new data flow interface	2024-03-11 20:56:38 +01:00
Tom Hvitved	da66281fef	Sync files	2024-03-11 13:02:04 +01:00
Mathias Vorreiter Pedersen	cf162aa412	C++: Add an explicit definition of the address of an IRVariable.	2024-03-06 18:18:33 -08:00
Mathias Vorreiter Pedersen	84797b9091	C++: Refactor the address out of 'DefImpl' and into a new abstract class 'OperandBasedDef'.	2024-03-06 18:15:52 -08:00
Jeroen Ketema	66d2a8499d	Merge pull request #15816 from MathiasVP/remove-ssa-pruning-stage ... C++: Remove the pruning stage from dataflow SSA	2024-03-06 11:04:05 +01:00
Robert Marsh	fbbd57b34f	C++: Suppress epxr destructors in preparation for temporaries	2024-03-05 21:12:12 +00:00
Mathias Vorreiter Pedersen	f400228037	C++: Remove the pruning stage from SSA.	2024-03-05 12:55:55 -08:00
Robert Marsh	28e1e3a13a	C++: remove skeleton for IR destructors on expressions	2024-03-04 21:54:18 +00:00
Mathias Vorreiter Pedersen	4474b54662	C++: Add more QLDoc.	2024-02-29 12:09:50 +00:00
Mathias Vorreiter Pedersen	46b47db78e	C++: Rename IPA branch.	2024-02-29 12:02:13 +00:00
Mathias Vorreiter Pedersen	a7f0966fcb	C++: Restrict 'VariableNode's to only be global-like variables (which is the only place where use them for).	2024-02-28 19:12:38 +00:00
Mathias Vorreiter Pedersen	ddd5113c02	C++: Ensure that we can construct an 'IRType' from a 'RoutineType'.	2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen	bba152da13	Merge branch 'main' into ir-for-vacuous-destructor-calls	2024-02-27 15:42:46 +00:00
Mathias Vorreiter Pedersen	f7b2de800b	Merge pull request #15506 from rdmarsh2/rdmarsh2/cpp/ir-synthetic-destructors ... C++: Add implicit destructors for named variables to the IR	2024-02-27 15:12:46 +00:00
Mathias Vorreiter Pedersen	9eaa4e19ad	C++: Add IR construction for vacuous destructor calls.	2024-02-27 13:53:42 +00:00
Robert Marsh	a513598a4d	C++: Change note for IR named destructors.	2024-02-26 19:41:56 +00:00
Geoffrey White	408a550467	Merge pull request #15727 from geoffw0/qldoc4 ... C++: Mark internal files in the old dataflow library as deprecated	2024-02-26 17:45:05 +00:00
Geoffrey White	2e66392353	C++: Update deprecated note to respect identical files.	2024-02-26 16:38:27 +00:00
Geoffrey White	5c4543f167	C++: Mark internal files in the old dataflow library as deprecated (the public imports already are).	2024-02-26 14:49:10 +00:00
Robert Marsh	da5e3d64ac	C++: autoformat	2024-02-23 16:20:42 +00:00
Robert Marsh	dd97584eff	C++: fix for duplicated parent of ReturnVoid statements	2024-02-23 16:19:34 +00:00
Tom Hvitved	62b16c0fa3	Share getFileBySourceArchiveName implementation	2024-02-23 11:25:49 +01:00