923 Commits

Author	SHA1	Message	Date
REDMOND\brodes	abd0a076a8	Addressing false positive with strncpy.	2024-09-04 11:16:21 -04:00
Jeroen Ketema	ae7bf6c97d	C++: Update expected test results after #17347	2024-09-02 21:17:55 +02:00
Simon Friis Vindum	ee6c255a7c	Merge pull request #17328 from paldepind/tweak-unbounded-barrier ... C++: Tweak the `bounded` barrier	2024-09-02 14:30:44 +02:00
Simon Friis Vindum	660869e834	C++: Add test for cpp/uninitialized-local and va_copy	2024-09-02 13:25:02 +02:00
Simon Friis Vindum	e7f059ae55	C++: Tweak the bounded barrier	2024-08-29 10:32:31 +02:00
Simon Friis Vindum	edeefe5bb6	Merge pull request #17298 from paldepind/model-functions-that-dont-throw ... C++: Add basic modeling of functions that don't throw	2024-08-28 19:50:31 +02:00
Simon Friis Vindum	128053e214	C++: Add basic modeling of functions that don't throw	2024-08-26 09:37:44 +02:00
Tom Hvitved	c92c96fa78	Data flow: Compute local big step relation per stage	2024-08-26 09:15:27 +02:00
Simon Friis Vindum	e4ce003e87	C++: Fix tests and add an actual true negative	2024-08-21 09:44:45 +02:00
Simon Friis Vindum	1959e1929e	C++: Reuse bounded predicate in TaintedAllocationSize query	2024-08-19 08:23:32 +02:00
Simon Friis Vindum	5e8ac5ef0d	C++: Update documentation for cpp/uncontrolled-allocation-size to clarify its scope	2024-08-13 16:27:04 +02:00
Mathias Vorreiter Pedersen	b640bdccdc	C++: Accept test changes.	2024-07-25 17:13:10 +01:00
Mathias Vorreiter Pedersen	d2f5734ac5	C++: Add FP.	2024-07-25 17:08:47 +01:00
Mathias Vorreiter Pedersen	b3bffb6826	Merge branch 'main' into phi-escape-5-follow-up-2	2024-07-24 15:22:40 +01:00
Geoffrey White	b4fa23d731	C++: Address false positive results in template instantiations.	2024-07-22 16:34:39 +01:00
Geoffrey White	8262330e4d	C++: Extend the placement new test cases for cpp/incorrect-allocation-error-handling.	2024-07-22 12:38:19 +01:00
Mathias Vorreiter Pedersen	7b8301ac7a	C++: Accept more test changes.	2024-07-17 15:44:52 +01:00
Mathias Vorreiter Pedersen	1c8e0c453c	C++: Fix more inconsistencies.	2024-07-17 15:44:50 +01:00
Mathias Vorreiter Pedersen	45ba0c3319	Merge pull request #16907 from MathiasVP/phi-escape-5 ... C++: Add a new `MemoryLocation` to represent sets of `Allocation`s	2024-07-17 15:44:04 +01:00
Mathias Vorreiter Pedersen	510bfb911a	C++: Accept test changes.	2024-07-16 13:05:45 +01:00
Mathias Vorreiter Pedersen	983acf23bc	C++: Add more FPs.	2024-07-16 13:04:42 +01:00
Mathias Vorreiter Pedersen	68e3be187a	C++: Accept test changes.	2024-07-16 13:03:22 +01:00
Mathias Vorreiter Pedersen	f5ec2315d7	C++: Add a FP from DCA.	2024-07-16 13:02:38 +01:00
Geoffrey White	0344381120	Merge remote-tracking branch 'upstream/main' into docsforautofix	2024-07-10 11:17:52 +01:00
Mathias Vorreiter Pedersen	48edb77300	C++: Add 'cpp/iterator-to-expired-container' FP.	2024-07-09 11:24:18 +01:00
Mathias Vorreiter Pedersen	0e6b2f0f53	C++: Accept query test changes.	2024-07-06 12:27:42 +01:00
Mathias Vorreiter Pedersen	aad233b776	C++: Add FP test.	2024-07-05 15:52:10 +01:00
Geoffrey White	5d898727c0	C++: Add the examples to the test.	2024-07-04 17:11:11 +01:00
Geoffrey White	4de43e1bfa	C++: Add the examples to the test.	2024-07-04 17:11:08 +01:00
Mathias Vorreiter Pedersen	5d58cf6208	C++: Accept query test changes.	2024-07-04 15:15:38 +01:00
Mathias Vorreiter Pedersen	8e18e7d4e6	Merge pull request #16791 from MathiasVP/collection-content-2 ... C++: Add support for `Element` content	2024-07-04 08:52:33 +01:00
Mathias Vorreiter Pedersen	982f845be7	C++: Accept test changes.	2024-06-25 09:31:00 +01:00
Mathias Vorreiter Pedersen	c8f3c1a798	C++: Accept test changes. Nothing exciting to see here.	2024-06-21 14:04:06 +01:00
Jeroen Ketema	66077dc38d	C++: Ignore gets'es with incorrect parameter counts	2024-06-04 11:15:07 +02:00
Mathias Vorreiter Pedersen	3f66b635a4	Merge pull request #16562 from aschackmull/dataflow/update-qltest-expected ... Dataflow: Fix qltests following https://github.com/github/codeql/pull/16511	2024-05-22 16:16:04 +01:00
Anders Schack-Mulligen	e7f24318cd	C++: Accept qltest .expected file changes.	2024-05-22 15:36:30 +02:00
Anders Schack-Mulligen	f977a4206a	C++: Accept qltest .expected file changes (interesting).	2024-05-22 15:35:28 +02:00
Mathias Vorreiter Pedersen	af81698fa8	C++: Fix FP and accept test changes.	2024-05-22 12:34:09 +01:00
Mathias Vorreiter Pedersen	91f860ba4f	C++: Add 'cpp/use-of-unique-pointer-after-lifetime-ends' FP.	2024-05-22 12:33:34 +01:00
Rasmus Wriedt Larsen	2451a6d3f6	Accept .expected changes	2024-05-21 14:47:42 +02:00
erik-krogh	a51d24cbab	apply suggestions from code review, and the examples to the test	2024-05-08 19:34:50 +02:00
erik-krogh	3989717878	Merge branch 'main' into cpp-path	2024-05-07 23:01:52 +02:00
Mathias Vorreiter Pedersen	99940a6084	Merge pull request #16440 from MathiasVP/fix-iterator-to-expired-container-fp-2 ... C++: Fix location of SSA def for local variable addresses	2024-05-07 14:39:13 +01:00
Mathias Vorreiter Pedersen	8e95395382	C++: Accept more test changes.	2024-05-07 12:55:42 +01:00
Mathias Vorreiter Pedersen	61fb89721a	C++: Add 'cpp/uninitialized-local' FP.	2024-05-07 12:19:06 +01:00
Mathias Vorreiter Pedersen	53c2d2f1e7	C++: Accept test changes.	2024-05-07 09:10:58 +01:00
Mathias Vorreiter Pedersen	41b95a1938	Merge pull request #16416 from MathiasVP/add-iterator-to-expired-container-fp-2 ... C++: Add `cpp/iterator-to-expired-container` FP	2024-05-07 09:10:38 +01:00
Mathias Vorreiter Pedersen	7a1b85aa56	C++: Add FP test.	2024-05-03 16:04:21 +01:00
Geoffrey White	c0cf1c7c8c	Merge pull request #16402 from geoffw0/stringlifetimedoc ... C++: Improve UseOfStringAfterLifetimeEnds doc.	2024-05-03 15:04:07 +01:00
Geoffrey White	0693bf9e75	C++: Improve UseOfStringAfterLifetimeEnds qhelp, references and alert message.	2024-05-02 15:40:27 +01:00