5447 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	892f97cd7a	C++: Add testcase with invalid IR from constructing a 'RoutineType'.	2024-02-27 17:58:52 +00:00
Geoffrey White	1da611cc02	Merge branch 'main' into mad	2024-02-27 17:29:45 +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	dc3b78dd7c	C++: Accept more test changes.	2024-02-27 14:30:19 +00:00
Mathias Vorreiter Pedersen	4a501e5b3c	C++: Accept test changes.	2024-02-27 13:53:43 +00:00
Mathias Vorreiter Pedersen	fbb0ffcadd	C++: Add testcase with invalid IR from vacuous destructor call.	2024-02-27 12:53:46 +00:00
Jeroen Ketema	788100d475	C++: Update test after extractor changes	2024-02-26 10:04:42 +01:00
Robert Marsh	dd97584eff	C++: fix for duplicated parent of ReturnVoid statements	2024-02-23 16:19:34 +00:00
Robert Marsh	6f7f68fee8	Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors	2024-02-22 18:10:13 +00:00
Robert Marsh	ebe6ee5257	C++: accept test changes from extractor fixes	2024-02-22 16:44:19 +00:00
Mathias Vorreiter Pedersen	0bf29f0a62	Merge branch 'main' into model-experiments	2024-02-22 15:05:53 +00:00
Ben Rodes	47f94e2ebe	Merge branch 'main' into cpp-non-constant-format-as-path-query	2024-02-22 06:24:18 -08:00
Robert Marsh	875ab74c28	Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors ... Fixes conflicts in C++ IR tests and Stmt.qll	2024-02-21 21:34:49 +00:00
Robert Marsh	e0c7849f52	C++: fix incorrect use of getChildInternal	2024-02-21 20:35:58 +00:00
Jeroen Ketema	f9d391d087	C++: Support destructors for range-based for-loops	2024-02-21 17:26:32 +01:00
Jeroen Ketema	11dc467add	C++: Add test where the for loop should call destructors at the end of its body	2024-02-21 14:42:23 +01:00
Jeroen Ketema	57cb7f8218	C++: Update tests after extractor changes related to static variables	2024-02-21 10:22:59 +01:00
Jeroen Ketema	c1f18edfed	C++: Add IR tests for destruction of static locals	2024-02-21 10:22:59 +01:00
Geoffrey White	356214c11b	C++: Implement SummaryReturnNode.	2024-02-20 14:48:02 +00:00
Geoffrey White	5683092d6a	C++: Implement SummaryParameterNode.	2024-02-20 14:48:02 +00:00
Geoffrey White	1ace9ee50f	C++: Create a proper class for DataFlowCallable, that includes summarized callables.	2024-02-20 14:48:02 +00:00
Jeroen Ketema	7ec95fba6d	C++: Add more range-based for-loop IR tests	2024-02-20 09:22:13 +01:00
Jeroen Ketema	2becb3043e	Merge pull request #15638 from jketema/destructors5 ... C++: Support C++20 range-based for initializers	2024-02-19 16:22:23 +01:00
Mathias Vorreiter Pedersen	b927968e88	Merge pull request #15516 from microsoft/51-2cppnon-constant-format-alter-not-const-source ... C++: Change sources in `NonConstantFormat.ql`	2024-02-17 00:01:58 +01:00
Robert Marsh	2494b7d801	C++: fix for IR CFG problem with return in if	2024-02-16 21:08:21 +00:00
Geoffrey White	6e13b877bb	C++: Add FlowSummaryNode and test it.	2024-02-16 18:06:57 +00:00
Robert Marsh	2c8ed6479a	C++: test for return in if	2024-02-16 17:55:34 +00:00
Benjamin Rodes	aa7c677e13	Merge branch '51-2cppnon-constant-format-alter-not-const-source' into cpp-non-constant-format-as-path-query ... # Conflicts: # cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql	2024-02-16 10:49:05 -05:00
Mathias Vorreiter Pedersen	7c22146f46	C++: Accept query test changes.	2024-02-16 16:33:44 +01:00
Jeroen Ketema	dd39fa0bde	C++: Support C++20 range-based for initializers	2024-02-16 15:20:14 +01:00
Mathias Vorreiter Pedersen	be54a41593	C++: Accept query test changes.	2024-02-16 15:01:50 +01:00
Geoffrey White	e187a4a7d6	C++: Add flow summaries to simpleLocalFlowStep.	2024-02-16 12:31:17 +00:00
Mathias Vorreiter Pedersen	9b2019db6b	C++: Accept test changes.	2024-02-16 13:10:41 +01:00
Mathias Vorreiter Pedersen	7e9bf2a880	C++: Add a model for 'partial updating' and extend models appropriately.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	24a63ae94d	C++: Block flow by default.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	625c47fa9c	C++: Add a testcase.	2024-02-16 12:56:19 +01:00
Benjamin Rodes	d6b0746b30	The non-constant format query is now a path query. Minor changes to the output alert to be more precise on what is being alerted. Minor changes to the query itself to avoid redundancies with argv.	2024-02-15 12:14:52 -05:00
Jeroen Ketema	da3ff4813f	Merge pull request #15612 from jketema/destructors4a ... C++: Support `constexpr if` in the IR	2024-02-15 17:29:56 +01:00
Benjamin Rodes	9e50fc6893	Updating tests to account for removing const char* heuristic.	2024-02-15 09:54:03 -05:00
Benjamin Rodes	caf2ee27fa	Adding false negative tests for future work.	2024-02-15 09:43:26 -05:00
Jeroen Ketema	33413129a5	C++: For unnamed local variable declaration entries consider the name of the variable	2024-02-14 15:03:04 +01:00
Jeroen Ketema	46bc311111	C++: Support constexpr if in the IR	2024-02-14 13:37:56 +01:00
Jeroen Ketema	c79cc493e8	C++: Accept more test changes	2024-02-13 21:53:51 +01:00
Jeroen Ketema	a3b3aa4f25	C++: Update tests after extractor changes	2024-02-13 21:31:21 +01:00
Jeroen Ketema	b776cbe668	Merge pull request #15597 from jketema/destructors2 ... C++: Update test results of `constexpr if` destructors	2024-02-13 19:59:19 +01:00
Robert Marsh	7e23ccd383	Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors	2024-02-13 15:45:51 +00:00
Mathias Vorreiter Pedersen	fb4bd53ec5	Revert "Merge pull request #15528 from MathiasVP/flow-barrier-interface" ... This reverts commit c5dc88345d, reversing changes made to 781486172e.	2024-02-13 13:42:58 +00:00
Mathias Vorreiter Pedersen	cb7fe16ced	Revert "Merge pull request #15537 from MathiasVP/swap-also-clears-first-argument" ... This reverts commit 23677b23c2, reversing changes made to c5dc88345d.	2024-02-13 13:42:58 +00:00
Jeroen Ketema	f3e55a46ee	C++: Update test results of constexpr if destructors	2024-02-13 13:37:59 +01:00