5705 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	0c9d14f417	C++: Accept test changes.	2025-08-08 15:14:09 +01:00
Mathias Vorreiter Pedersen	26be9839df	C++: Add FP.	2025-08-08 15:10:40 +01:00
Mathias Vorreiter Pedersen	851c498b37	C++: Accept test changes. This is a FP that's been present since we put the IR into production in #2851.	2025-08-03 12:17:36 +01:00
Mathias Vorreiter Pedersen	b807ee4718	C++: Accept test changes.	2025-08-03 12:17:34 +01:00
Mathias Vorreiter Pedersen	fca49dde92	C++: Accept test changes.	2025-08-02 16:43:19 +01:00
Mathias Vorreiter Pedersen	34c1ec73c2	C++: Add tests with missing flow through globals.	2025-08-02 16:38:32 +01:00
Mathias Vorreiter Pedersen	1aa8adb472	C++: Add test.	2025-08-02 13:00:26 +01:00
Mathias Vorreiter Pedersen	14345a8288	C++: Accept test changes.	2025-08-01 16:09:44 +01:00
Mathias Vorreiter Pedersen	18289702ca	C++: Add an example of double negation to the IR tests.	2025-07-31 15:49:05 +01:00
Geoffrey White	c0638a5fcb	CPP: Update .expected for the changes here.	2025-07-30 11:24:57 +01:00
Geoffrey White	d6fddde6e0	CPP: Add .expected (results before query changes here).	2025-07-30 11:22:56 +01:00
Geoffrey White	43bca84310	CPP: Convert test to use a stub rather than a library include.	2025-07-30 11:22:53 +01:00
codeqlhelper	89dcad48f4	Create InitialisationNotRun.qlref	2025-07-27 23:42:50 +08:00
codeqlhelper	c2d0a12e1e	Create test for InitialisationNotRun	2025-07-27 23:40:00 +08:00
Mathias Vorreiter Pedersen	5da7ae877b	Merge pull request #20115 from MathiasVP/add-more-windows-memcpy-functions ... C++: Add some more Windows specific memory copy models	2025-07-23 16:10:56 +01:00
Mathias Vorreiter Pedersen	cbe5561eb6	C++: Accept test changes.	2025-07-23 14:05:42 +01:00
Mathias Vorreiter Pedersen	50785f7f21	C++: Add tests with missing flow.	2025-07-23 13:37:32 +01:00
Mathias Vorreiter Pedersen	1189665970	C++: Add barriers to 'cpp/overrun-write'.	2025-07-22 18:35:56 +01:00
Mathias Vorreiter Pedersen	e0eadc75dd	C++: Remove the ad-hoc code for keeping track of increments/decrements on pointers in the 'cpp/overrun-write' query.	2025-07-22 18:35:31 +01:00
Mathias Vorreiter Pedersen	92a730c9ac	C++: Add a false positive.	2025-07-22 18:35:21 +01:00
Jeroen Ketema	f319381f27	C++: Support the spaceship operator in the IR	2025-07-16 17:53:55 +02:00
Jeroen Ketema	807ab986f4	C++: Update more exoected test results	2025-07-16 16:19:40 +02:00
Jeroen Ketema	2709bf0615	C++: Add test that shows that IR generation for <=> is broken	2025-07-16 15:54:18 +02:00
Jeroen Ketema	70bff4e726	C++: Fix typeid IR translation	2025-07-15 20:24:17 +02:00
Jeroen Ketema	477edd215c	C++: Add test showing that the IR translation for typeid is broken	2025-07-15 17:29:00 +02:00
Mathias Vorreiter Pedersen	1d36405084	C++: Accept path changes.	2025-07-14 15:47:06 +01:00
Mathias Vorreiter Pedersen	a825213c05	C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.	2025-07-14 15:22:52 +01:00
Mathias Vorreiter Pedersen	46627c677d	C++: Add FP in dataflow through global variables.	2025-07-14 15:20:08 +01:00
Mathias Vorreiter Pedersen	1da42cb590	Merge pull request #20023 from MathiasVP/dataflow-for-functors ... C++: Better dataflow for function objects	2025-07-11 15:14:27 +01:00
Mathias Vorreiter Pedersen	649c8831ec	Merge pull request #20014 from jketema/wchar ... C++: Do not alert on unreachable code in `cpp/incorrect-string-type-conversion`	2025-07-11 13:39:37 +01:00
Mathias Vorreiter Pedersen	4f538a2b1f	C++: Accept taint test changes.	2025-07-11 09:46:22 +01:00
Mathias Vorreiter Pedersen	6d0c8c6d77	C++: Work around an extractor bug.	2025-07-11 09:46:20 +01:00
Mathias Vorreiter Pedersen	df241ad4f6	C++: Fix lambda creation for objects with no constructor.	2025-07-11 09:46:09 +01:00
Mathias Vorreiter Pedersen	b53c3547d0	C++: Add lambda dispatch for functors.	2025-07-11 09:36:45 +01:00
Mathias Vorreiter Pedersen	6736dd4e8f	C++: Add some tests with missing flow through function objects.	2025-07-11 09:36:38 +01:00
Jeroen Ketema	6d8e2f8231	Merge pull request #20017 from jketema/final ... C++: Add dataflow predicate for checking if a node is the final value of a parameter	2025-07-10 18:47:09 +02:00
Jeroen Ketema	b32a8c2489	C++: Add dataflow predicate for checking if a node is the final value of a parameter	2025-07-10 15:47:23 +02:00
Mathias Vorreiter Pedersen	7ddc909d4e	C++: Accept test changes after review.	2025-07-10 13:29:19 +01:00
Mathias Vorreiter Pedersen	dda4a97080	Update cpp/ql/test/library-tests/dataflow/external-models/test.cpp ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2025-07-10 13:00:43 +01:00
Mathias Vorreiter Pedersen	89cf215ebb	C++: Add models for 'std::thread' and accept test changes.	2025-07-10 12:45:20 +01:00
Mathias Vorreiter Pedersen	2062a774fc	C++: Add 'std::thread' test with missing flow.	2025-07-10 12:44:02 +01:00
Mathias Vorreiter Pedersen	d198a964e0	C++: Add a model for 'pthread_create' and accept test changes.	2025-07-10 12:20:24 +01:00
Mathias Vorreiter Pedersen	675a072639	C++: Add 'pthread_create' test with missing flow.	2025-07-10 12:16:23 +01:00
Jeroen Ketema	399967b507	C++: Do not alert on unreachable code in cpp/incorrect-string-type-conversion	2025-07-10 11:49:12 +02:00
Jeroen Ketema	2907861075	C++: Add cpp/incorrect-string-type-conversion test with unreachable code	2025-07-10 11:48:53 +02:00
Jeroen Ketema	acc06fab20	C++: Convert cpp/incorrect-string-type-conversion test to inline expectations	2025-07-10 11:48:18 +02:00
Jeroen Ketema	463ae4b1eb	C++: Address review comments	2025-07-04 23:13:37 +02:00
Jeroen Ketema	d010b6eb01	C++: Update expected test results	2025-07-04 14:28:17 +02:00
Jeroen Ketema	799f33eb3a	C++: Add more postfix-crement tests	2025-07-04 14:08:29 +02:00
Mathias Vorreiter Pedersen	24728a3417	C++: Accept test changes.	2025-07-04 00:03:42 +01:00