3715 Commits

Author	SHA1	Message	Date
Robert Marsh	5a30ad162a	C++: Add a comment for ReusedExpr IR translation	2024-03-19 15:54:52 +00:00
Robert Marsh	3d4f7d880d	C++: unsuppress destructoion of temporaries with extended lifetimes	2024-03-19 15:54:42 +00:00
Robert Marsh	ba10ea8121	C++: ReuseExpr IR translation	2024-03-19 15:50:28 +00:00
Mathias Vorreiter Pedersen	6ce3f35ef5	C++: Fix API for guards.	2024-03-19 14:43:10 +00:00
Dave Bartolomeo	311ba8ea1b	Merge from main to resolve conflicts	2024-03-19 10:41:31 -04: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	a88d8b260d	C++: Only ignore constant folding for certain binary operations.	2024-03-19 13:17:49 +00:00
Mathias Vorreiter Pedersen	a97891cbc1	C++: Add QLDoc to 'getNumberOfBinaryOperands' (and rename it to 'getNumberOfNestedBinaryOperands').	2024-03-19 12:56:15 +00:00
Tom Hvitved	754b491d09	C++: Switch to shared XML.qll implementation	2024-03-19 13:14:42 +01:00
Mathias Vorreiter Pedersen	4d3076ae7e	C++: Don't constant fold small binary operations.	2024-03-19 11:46:51 +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
github-actions[bot]	aebe9f6992	Post-release preparation for codeql-cli-2.16.5	2024-03-18 12:16:26 +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
github-actions[bot]	0a6243d07b	Release preparation for version 2.16.5	2024-03-18 10:14:07 +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
Geoffrey White	f208594067	Merge branch 'main' into mad	2024-03-14 09:44:45 +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
Geoffrey White	8d3fc735ea	C++: Fix compilation issue in UseAfterFree.qll.	2024-03-13 17:03:00 +00: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
Geoffrey White	cbacd51337	C++: Make Argument[-1] refer to *this rather than this.	2024-03-12 17:51:43 +00:00
Geoffrey White	900c8b71d8	C++: Complete the SummaryCall class.	2024-03-12 14:23:00 +00:00
Geoffrey White	a27949cffa	C++: Set certain = true in storeStepImpl.	2024-03-12 14:08:20 +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
Geoffrey White	026a13b4db	C++: Change Node/Node0.getEnclosingCallable back to returning Declaration.	2024-03-11 12:22:55 +00:00
Tom Hvitved	da66281fef	Sync files	2024-03-11 13:02:04 +01:00
Geoffrey White	4bc272da73	C++: Doc correction and TODOs for interpretOutput, interpretInput.	2024-03-11 10:16:46 +00:00
Geoffrey White	e8d0f1fa3e	C++: Comments.	2024-03-08 18:25:01 +00: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