12902 Commits

Author	SHA1	Message	Date
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
Jeroen Ketema	788100d475	C++: Update test after extractor changes	2024-02-26 10:04:42 +01: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
Robert Marsh	6f7f68fee8	Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors	2024-02-22 18:10:13 +00:00
Robert Marsh	942a4ed925	C++: move handlesDestructorsExplicitly up to TranslatedReturnStmt	2024-02-22 16:46:19 +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
Mathias Vorreiter Pedersen	350d5bf0ce	C++: Update QLDoc on 'modeledFlowBarrier'.	2024-02-22 13:30:39 +00:00
Mathias Vorreiter Pedersen	671904d58c	C++: Fix QLoc on 'PartialFlowFunction'.	2024-02-22 13:27:10 +00:00
Mathias Vorreiter Pedersen	aca3970c33	C++: Fix QLoc on 'isPartialWrite'.	2024-02-22 13:25:13 +00: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	66743fb0db	C++: refactor TranslatedReturnStmt	2024-02-21 20:50:30 +00:00
Robert Marsh	e0c7849f52	C++: fix incorrect use of getChildInternal	2024-02-21 20:35:58 +00:00
Benjamin Rodes	8d35db0fe6	Making argv filter positional.	2024-02-21 12:25:35 -05: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	8bbfb82f8e	Merge pull request #15670 from jketema/destructors7 ... C++: Add IR tests for destruction of static locals	2024-02-21 12:54:38 +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
github-actions[bot]	37f8fa3413	Post-release preparation for codeql-cli-2.16.3	2024-02-20 16:50:47 +00:00
Geoffrey White	5787dcc82d	C++: Make getStaticCallTarget() return a DataFlowCallable.	2024-02-20 14:49:51 +00: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
Geoffrey White	e1a5a84253	C++: Create a proper class for DataFlowCall, that includes summarized callables.	2024-02-20 14:48:02 +00:00
github-actions[bot]	6d061fbc35	Release preparation for version 2.16.3	2024-02-20 14:26:23 +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	639642fb67	Formatting.	2024-02-16 11:19:02 -05:00
Benjamin Rodes	0410ed734b	Adding exclusion for main's argv (I believe this and other changes were accidentally removed in prior merge with other non-const branches)	2024-02-16 11:18:06 -05:00
Benjamin Rodes	9f3dd6300f	Fixing query to use path graph.	2024-02-16 11:11:48 -05: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
Benjamin Rodes	c38376a264	Merge branch '51-2cppnon-constant-format-alter-not-const-source' of https://github.com/microsoft/codeql into 51-2cppnon-constant-format-alter-not-const-source	2024-02-16 10:42:04 -05:00
Mathias Vorreiter Pedersen	7c22146f46	C++: Accept query test changes.	2024-02-16 16:33:44 +01:00
Mathias Vorreiter Pedersen	096073d295	C++: Add change note.	2024-02-16 16:29:34 +01:00
Benjamin Rodes	93f2e856af	Formatting update.	2024-02-16 10:28:14 -05:00
Benjamin Rodes	4a9b2d5027	Comment change.	2024-02-16 10:18:07 -05:00
Benjamin Rodes	5b0a3dcdbe	Accidental removal of an and.	2024-02-16 10:15:21 -05:00
Benjamin Rodes	95ebbb1bbd	Ql alterations for cleanup as part of merge suggestions.	2024-02-16 10:13:50 -05:00
Ben Rodes	1fb7f089ca	Update cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2024-02-16 10:06:34 -05: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