5466 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	f5ec2315d7	C++: Add a FP from DCA.	2024-07-16 13:02:38 +01:00
Geoffrey White	195c20cfd5	C++: Fix provenance for sources/sinks.	2024-07-16 09:33:51 +01:00
Geoffrey White	eefbb676e9	C++: Support alert provenance.	2024-07-16 09:33:48 +01:00
Geoffrey White	391816c9e7	C++: Add path graph to one of the external models tests.	2024-07-15 17:37:55 +01:00
am0o0	a10b5021b4	fix tests, it is not fixed 100%	2024-07-15 10:13:57 +02:00
am0o0	87b6495c91	add zlib tests with stubs :)	2024-07-14 21:10:56 +02:00
Alexandre Boulgakov	faf77d5526	C++: Update special members test results.	2024-07-12 18:10:32 +01:00
Alexandre Boulgakov	b3b04b4e5b	C++: Extend template member test to better test on-demand indexing of special member functions.	2024-07-12 18:08:18 +01:00
Alexandre Boulgakov	18d9310a61	C++: Update tests to reflect on-demand indexing of special member functions. ... None of these tests were relying on the removed rows.	2024-07-12 18:06:56 +01:00
Mathias Vorreiter Pedersen	7a2b170da2	C++: Accept test changes.	2024-07-12 09:54:20 +01:00
Mathias Vorreiter Pedersen	1a2b4a30bb	Merge pull request #16939 from geoffw0/docsforautofix ... C++: Assorted minor doc improvements	2024-07-11 18:30:45 +01:00
Calum Grant	24914efcb8	Merge pull request #16956 from github/calumgrant/cpp20-array-sizes ... C++: Test C++20 implicit array sizes.	2024-07-11 17:44:08 +01:00
Geoffrey White	bf47574796	Merge branch 'main' into docsforautofix	2024-07-11 16:42:27 +01:00
Calum Grant	29df3cb5b3	C++: Add test for C++20 implicit array sizes ... Implement NewArrayExpr.getArraySize()	2024-07-11 12:59:52 +01:00
Jeroen Ketema	87d9218369	Merge pull request #16951 from jketema/builtin-op ... C++: Support more builtin operations	2024-07-11 12:50:46 +02:00
Jeroen Ketema	5e0ce7efc4	C++: Fix test	2024-07-11 11:58:25 +02:00
Jeroen Ketema	3f789bad60	C++: Support more builtin operations	2024-07-10 21:27:09 +02:00