3342 Commits

Author	SHA1	Message	Date
github-actions[bot]	8f72b0e4f7	Post-release preparation for codeql-cli-2.15.5	2023-12-19 10:32:57 +00:00
Mathias Vorreiter Pedersen	8230a90db6	C++: No need for another 'stars' predicate in 'PrintIRUtilities'.	2023-12-19 11:22:27 +01:00
Mathias Vorreiter Pedersen	9b25834771	C++: Use parameterized modules instead of abstract classes and predicates to handle debug printing.	2023-12-19 11:08:41 +01:00
Mathias Vorreiter Pedersen	501645920f	C++: Move private stuff from 'DataFlowUtil' to public stuff 'DataFlowPrivate'. Also make 'PostUpdateNodeImpl' public in 'DataFlowUtil'. Sadly, this means that it's visible at the query level (as DataFlow::PostUpdateNodeImpl), but I've added a big INTERNAL QLDoc on it to make sure people don't use it.	2023-12-19 10:41:35 +01:00
github-actions[bot]	19af35b29a	Release preparation for version 2.15.5	2023-12-18 21:22:44 +00:00
Mathias Vorreiter Pedersen	d308bb40a0	Merge pull request #15132 from MathiasVP/fix-joins-in-isModifiableAtImpl ... C++: Fix joins in `isModifiableAtImpl`	2023-12-18 15:01:36 +01:00
Mathias Vorreiter Pedersen	f5c52ac496	C++: Fix joins in 'isModifiableAtImpl'.	2023-12-18 12:02:33 +01:00
Mathias Vorreiter Pedersen	3897befbe2	C++: Fix joins in 'cpp/wrong-type-format-argument'.	2023-12-18 09:49:34 +01:00
Mathias Vorreiter Pedersen	dc9c538fcc	Merge pull request #15120 from MathiasVP/fix-joins-in-av-rule-79 ... C++: Fix joins in `cpp/resource-not-released-in-destructor`	2023-12-15 14:06:53 +00:00
Mathias Vorreiter Pedersen	2c5f65a241	C++: Drive-by cleanup: This case is redundant since a 'DestructorCall' is also a 'FunctionCall'.	2023-12-15 11:38:52 +00:00
Mathias Vorreiter Pedersen	ce326a0f79	C++: Fix joins.	2023-12-15 11:37:28 +00:00
Anders Schack-Mulligen	1ea1130271	Merge pull request #15062 from aschackmull/dataflow/deprecate-flowstatestring ... Dataflow: Deprecate FlowStateString.	2023-12-15 11:59:04 +01:00
Mathias Vorreiter Pedersen	7af6496a71	C++: Add change note.	2023-12-14 17:13:23 +00:00
Mathias Vorreiter Pedersen	368f438754	C++: Add more QLDoc.	2023-12-14 14:49:48 +00:00
Mathias Vorreiter Pedersen	8a52565395	C++: Improve 'toString' on the most common dataflow nodes.	2023-12-14 14:44:42 +00:00
Anders Schack-Mulligen	a1068ce2f9	Dataflow: deprecate references	2023-12-14 15:05:33 +01:00
Jeroen Ketema	4d922ddb0c	Merge pull request #15092 from jketema/mb12 ... Merge back `rc/3.12` into main	2023-12-13 17:45:58 +01:00
Jeroen Ketema	99e65df6ce	Merge remote-tracking branch 'upstream/rc/3.12' into mb12	2023-12-13 15:43:39 +01:00
Mathias Vorreiter Pedersen	401ab3b035	C++: Fix 'isDebugMode'. It was computing 'isNotDebugMode' (oops).	2023-12-13 14:31:45 +00:00
Mathias Vorreiter Pedersen	fcc3113bfc	C++: Privately import 'Node0ToString'.	2023-12-13 14:31:02 +00:00
Mathias Vorreiter Pedersen	45080ec9f0	C++: Create an abstract class to control debug 'toString' output for dataflow nodes.	2023-12-13 12:05:04 +00:00
Mathias Vorreiter Pedersen	3dea467dcc	Merge pull request #15047 from MathiasVP/add-puns-for-addresses-of-arguments ... C++: Add `PostUpdateNode`s for addresses of outgoing arguments	2023-12-12 13:55:13 +00:00
Mathias Vorreiter Pedersen	1ad0e6524e	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintDataFlowRelevantIR.qll	2023-12-12 13:15:36 +00:00
Mathias Vorreiter Pedersen	11386494b7	C++: Factor out the property provider which hides instructions and operands out of the 'LocalFlowPropertyProvider' class and into a separate class.	2023-12-12 13:04:31 +00:00
Anders Schack-Mulligen	6b178fb64a	Rangeanalysis: Preparatory refactor for bounds sharing.	2023-12-11 14:07:10 +01:00
Mathias Vorreiter Pedersen	c6c487dd90	C++: Fix Code Scanning errors.	2023-12-11 09:35:44 +00:00
Mathias Vorreiter Pedersen	7faf286820	C++: Add more QLDoc to the 'is modifiable' predicates.	2023-12-11 09:29:59 +00:00
Mathias Vorreiter Pedersen	5bb2144c80	C++: Add field-flow through addresses of fields	2023-12-08 14:13:01 +00:00
Jeroen Ketema	db6b1e5f5e	Merge pull request #14912 from jketema/dep-userinput ... C++: Deprecate `isUserInput`, `userInputArgument`, and `userInputReturned`	2023-12-08 15:04:23 +01:00
Anders Schack-Mulligen	64eb4ff753	Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api ... Data Flow: Deprecate old data flow api.	2023-12-08 14:27:25 +01:00
Jeroen Ketema	c6b0a2363a	C++: Add change note	2023-12-08 13:31:32 +01:00
Jeroen Ketema	5165999e9e	C++: Deprecate isUserInput, userInputArgument, and userInputReturned	2023-12-08 13:21:31 +01:00
Mathias Vorreiter Pedersen	7b83947383	Merge branch 'main' into fewer-dataflow-branches	2023-12-08 09:30:01 +00:00
Jeroen Ketema	9a555ba16e	Merge pull request #14909 from jketema/rm-dtt ... C++: Remove `DefaultTaintTracking` library	2023-12-08 10:08:55 +01:00
Mathias Vorreiter Pedersen	d6871c7cf9	C++: Merge 'PostUpdateFieldNode' and 'IndirectArgumentOutNode' into a single IPA branch.	2023-12-07 23:11:28 +00:00
github-actions[bot]	92af5f5386	Post-release preparation for codeql-cli-2.15.4	2023-12-06 22:59:22 +00:00
github-actions[bot]	c04457e9e7	Release preparation for version 2.15.4	2023-12-06 21:11:50 +00:00
Jeroen Ketema	af1da1e9ae	C++: Also support the __noreturn__ attribute in exits ... Observed this attribute while working on coding standards test regression when replacing Guards by IRGuards.	2023-12-06 18:08:39 +01:00
Robert Marsh	88073a5fb2	C++: change note for IRGuards replacing Guards	2023-12-06 12:47:20 +01:00
Robert Marsh	172445f5e7	C++: replace Guards with IRGuards	2023-12-06 12:47:20 +01:00
Jeroen Ketema	db1dc6fa2c	Merge pull request #15021 from jketema/ir-guards-unreached-fix ... C++: Fix handling of unreached instructions in IRGuards	2023-12-06 12:46:09 +01:00
Mathias Vorreiter Pedersen	9fa20f5f39	Merge pull request #14799 from MathiasVP/solve-modify-copy-problem ... DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation	2023-12-06 09:55:34 +00:00
Jeroen Ketema	4390e4cad3	C++: Fix handling of unreached instructions in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	49a4306514	Merge pull request #15015 from jketema/exit ... C++: Add `_Exit` to the list of exiting (non-returning) functions	2023-12-06 10:07:55 +01:00
Nora Dimitrijević	66c0a4af5a	Upgrade/downgrade script	2023-12-05 22:03:40 +01:00
Nora Dimitrijević	0307354d6e	Relax the C++ dbscheme for link_targets/2	2023-12-05 22:03:40 +01:00
Jeroen Ketema	696cbeae5c	C++: Add _Exit to the list of exiting (non-returning) functions	2023-12-05 20:33:43 +01:00
Jeroen Ketema	30e5e74a78	Merge pull request #15005 from jketema/ir-guards-ternary-fix ... C++: Fix IRGuards ternary behaviour	2023-12-05 15:04:56 +01:00
Mathias Vorreiter Pedersen	8ce4bbec33	Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators ... C++: Reduce duplication from crement operations	2023-12-05 11:57:48 +00:00
Jeroen Ketema	4d702e2eee	C++: Fix IRGuards ternary behaviour	2023-12-05 12:17:46 +01:00