5503 Commits

Author	SHA1	Message	Date
Jeroen Ketema	9e861ce717	C++: Add support for more clang builtins	2024-08-28 13:08:42 +02:00
Tom Hvitved	7f8e6bf574	Merge pull request #16970 from hvitved/dataflow/local-big-step-stage ... Data flow: Compute local big step relation as stage output	2024-08-28 12:28:16 +02:00
Asger F	16c2cf24b3	C++: use inline annotation for missing flow	2024-08-26 11:53: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
Asger F	d27b28d371	C++: update test output ... This reveals that some tests were passing for the wrong reasons. See https://github.com/github/codeql/pull/17275	2024-08-23 11:29:24 +02:00
Anders Schack-Mulligen	525b6f30e3	C++/C#/Java: Accept test changes.	2024-08-21 10:51:28 +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
Geoffrey White	bf66a787ab	C++: Accept test changes caused by new CLI version.	2024-08-06 16:45:48 +01:00
Jeroen Ketema	28702046aa	C++: Rename function to match what is actually being tested	2024-08-05 10:32:54 +01:00
Jeroen Ketema	bfae86e9e8	C++: Update test after extractor fix	2024-08-05 10:32:54 +01:00
Jeroen Ketema	59db802fa4	C++ Add test showing incorrect value categories for _Generics	2024-08-05 10:32:54 +01:00
Jeroen Ketema	9744c06933	C++: Expose explicit and explicit(bool) function specifiers	2024-08-02 15:39:18 +02:00
Jeroen Ketema	972d9ca2b8	C++: Add more deduction guide tests	2024-08-02 14:12:56 +02:00
Jeroen Ketema	4dcf67940c	C++: Add getTemplateClass to DeductionGuide	2024-08-01 20:54:53 +02:00
Geoffrey White	20672acb74	Merge pull request #17110 from geoffw0/memfree ... C++: Improve cpp/memory-may-not-be-freed	2024-07-31 15:59:42 +01:00
Geoffrey White	4aea4c0323	C++: Simple fix.	2024-07-31 14:46:25 +01:00
Geoffrey White	c04428dedc	C++: Add test cases for the memory freed queries.	2024-07-31 14:03:56 +01:00
Mathias Vorreiter Pedersen	fe575df325	C++: Mark constexpr if as unevalauted.	2024-07-31 13:09:12 +01:00
Mathias Vorreiter Pedersen	4e62dc81d2	C++: Add constexpr if testcase.	2024-07-31 13:08:49 +01:00
Jeroen Ketema	f986484813	Merge pull request #17098 from jketema/deduction ... C++: Update tests after extractor changes	2024-07-30 21:08:40 +02:00
am0o0	f97b1039cd	update test files, add one more additional flow step for inflate function, fix gzopen additional flow step thanks to @jketema	2024-07-30 17:49:34 +02:00
Mathias Vorreiter Pedersen	ef0370b64e	C++: Respond to review comments.	2024-07-30 13:19:02 +01:00
Jeroen Ketema	5455a365d1	C++: Update tests after extractor changes	2024-07-30 13:52:23 +02:00
Mathias Vorreiter Pedersen	afc0d0a078	C++: Accept test changes.	2024-07-30 11:54:20 +01:00
Mathias Vorreiter Pedersen	f932e515a7	C++: Accept test changes.	2024-07-30 11:11:38 +01:00
Mathias Vorreiter Pedersen	8edf19adc0	C++: Add MaD model for 'std::format'.	2024-07-30 10:15:39 +01:00
Mathias Vorreiter Pedersen	ff788c93c0	C++: Add a model for 'std::format' and a failing test.	2024-07-30 10:13:39 +01:00
Alexandre Boulgakov	2396c3c798	C++: Update MaD tests with correct template parameter counting in the presence of packs.	2024-07-29 14:59:49 +01:00
Am	6f8eec2bf9	Merge branch 'github:main' into amammad-cpp-bombs	2024-07-28 18:49:15 +03:30
Jeroen Ketema	e1329dff72	Merge pull request #16947 from github/calumgrant/attributes ... C++: Update attributes test output	2024-07-26 21:05:46 +02:00
Mathias Vorreiter Pedersen	c0263bef5a	Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4 ... C++: Speed up alias analysis	2024-07-26 10:02:02 +01:00
Mathias Vorreiter Pedersen	6b68cf6bdc	Merge pull request #17076 from MathiasVP/add-missing-write-side-effect-to-remquo ... C++: Add missing write side effect to `std::remquo`	2024-07-26 09:56:57 +01:00
Jeroen Ketema	a944922c97	C++: Add more explicit(bool) tests	2024-07-26 09:47:01 +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
Jeroen Ketema	3e7a60c1a6	C++: Add additional test cases for explict and explicit(bool) specifiers ... Note that the `explict(bool)` specifiers currently do not end up in the database.	2024-07-25 14:41:44 +02:00
Mathias Vorreiter Pedersen	099c282277	C++: Move large function to its own file.	2024-07-25 12:11:09 +01:00
Mathias Vorreiter Pedersen	c5da43e691	Merge pull request #16981 from MathiasVP/phi-escape-5-follow-up-2 ... C++: Alias analysis follow-up to #16907	2024-07-25 11:59:44 +01:00
Calum Grant	d8cc92068a	C++: Update attributes test output	2024-07-24 17:48:35 +01:00
Mathias Vorreiter Pedersen	4a34dc125b	C++: Expand the macro manually to work around an extractor bug.	2024-07-24 15:51:54 +01:00
Mathias Vorreiter Pedersen	b3bffb6826	Merge branch 'main' into phi-escape-5-follow-up-2	2024-07-24 15:22:40 +01:00
Mathias Vorreiter Pedersen	5e484e4006	C++: Accept test changes.	2024-07-24 14:29:42 +01:00
Mathias Vorreiter Pedersen	28cff2ea20	C++: Add a testcase with many def/use pairs in alias analysis.	2024-07-24 13:46:31 +01:00
Mathias Vorreiter Pedersen	854a277ab5	Merge branch 'main' into more-alias-and-side-effect-models	2024-07-24 10:53:27 +01:00
Geoffrey White	eaf2949857	Merge pull request #17054 from geoffw0/scanf ... C++: Fix false positives in cpp/incorrectly-checked-scanf	2024-07-24 10:51:25 +01:00
Geoffrey White	741a3289a1	Merge pull request #17055 from geoffw0/usefree ... C++: More tests for cpp/use-after-free	2024-07-24 10:35:32 +01:00
Jeroen Ketema	acbca9c108	C++: Support destroying deletes	2024-07-24 08:21:01 +02:00