5483 Commits

Author	SHA1	Message	Date
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
Geoffrey White	1456012b54	C++: Additional test cases for cpp/use-after-free.	2024-07-23 18:02:14 +01:00
Geoffrey White	4920039a00	C++: Test spacing.	2024-07-23 18:01:30 +01:00
Geoffrey White	6026f65f8b	C++: Fix FPs in cpp/incorrectly-checked-scanf.	2024-07-23 17:27:37 +01:00
Geoffrey White	c3f2faff76	C++: Add another pattern I found in the wild.	2024-07-23 17:19:01 +01:00
Geoffrey White	a9f6b2110e	C++: Add new test cases for cpp/incorrectly-checked-scanf.	2024-07-23 15:27:22 +01:00
Geoffrey White	e467cc033e	Merge pull request #17037 from geoffw0/sizecheck ... C++: Fix issue with cpp/suspicious-allocation-size	2024-07-23 14:47:17 +01:00
Geoffrey White	7b03f3268f	C++: Fix false positives.	2024-07-22 18:00:15 +01:00
Geoffrey White	45e92cec6a	C++: Extend tests for cpp/suspicious-allocation-size.	2024-07-22 17:34:49 +01:00
Geoffrey White	b4fa23d731	C++: Address false positive results in template instantiations.	2024-07-22 16:34:39 +01:00
Mathias Vorreiter Pedersen	281212a22c	C++: Accept test changes.	2024-07-22 16:23:26 +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
Geoffrey White	98319be3a7	Merge pull request #16985 from geoffw0/madprov ... C++: Support MaD alert provenance	2024-07-17 16:25:49 +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	dc32806f3f	Merge pull request #16988 from MathiasVP/unsigned-difference-compares-eq-zero-fp-fixes ... C++: Fix FPs in `cpp/unsigned-difference-expression-compared-zero`	2024-07-17 11:39:17 +01:00
Mathias Vorreiter Pedersen	9504e0f119	C++: Accept test changes.	2024-07-16 16:24:00 +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