5486 Commits

Author	SHA1	Message	Date
Robert Marsh	2b41aef6a7	C++: autoformat	2023-04-17 11:36:17 -04:00
Robert Marsh	ea7996f1bb	C++: fix test after module rename	2023-04-17 11:30:04 -04:00
Mathias Vorreiter Pedersen	d975ceb648	Merge pull request #12818 from MathiasVP/dataflow-for-missing-scanf-qery ... C++: Use the new dataflow library in `cpp/missing-check-scanf`	2023-04-17 14:34:11 +01:00
Mathias Vorreiter Pedersen	7eee589304	Merge pull request #12569 from andersfugmann/andersfugmann/use_after_free ... C++: Implement use-after-free and double-free queries using the new IR use-use dataflow	2023-04-17 08:01:58 +01:00
Mathias Vorreiter Pedersen	c230de86b4	C++: Accept test changes.	2023-04-13 17:28:07 +01:00
Mathias Vorreiter Pedersen	0db05fe4fa	C++: Use the new dataflow library in the 'missing scanf' query.	2023-04-13 14:51:08 +01:00
Mathias Vorreiter Pedersen	b2d4a82932	C++: Fix annotations.	2023-04-13 11:13:15 +01:00
Mathias Vorreiter Pedersen	1ac5db3a98	C++: Fix annotations.	2023-04-13 11:07:12 +01:00
Mathias Vorreiter Pedersen	31b71ea163	C++: Fix annotations.	2023-04-13 11:04:51 +01:00
Mathias Vorreiter Pedersen	40dde93beb	C++: Fix FP and accept test changes.	2023-04-13 11:00:08 +01:00
Mathias Vorreiter Pedersen	23a7cd943f	C++: Fix missing result and accept test changes.	2023-04-13 10:50:46 +01:00
Mathias Vorreiter Pedersen	416f8d5ac9	C++: Fix test annotations.	2023-04-13 10:47:17 +01:00
Mathias Vorreiter Pedersen	c76dbebd9b	C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.	2023-04-13 10:47:07 +01:00
Tom Hvitved	3cc9dec9c8	Remove all queries.xml files	2023-04-13 11:18:58 +02:00
Robert Marsh	18c3feb9d8	C++: remove commented-out code ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-04-11 10:41:18 -04:00
Mathias Vorreiter Pedersen	3c88590df2	C++: Accept test changes for the new use-after-query.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	a8151b4ee4	C++: Add double-free tests.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	8fef101432	C++: Fix missing result and accept test changes.	2023-04-06 10:41:08 +01:00
Mathias Vorreiter Pedersen	8014bdc993	C++: Add failing test for 'cpp/tainted-arithmetic'.	2023-04-06 10:39:49 +01:00
Robert Marsh	915c969efe	Merge branch 'main' into rdmarsh2/range-analysis-overflow	2023-04-05 16:19:55 -04:00
Mathias Vorreiter Pedersen	f257e85511	C++: Accept test changes in PrintAST.	2023-04-04 16:21:35 +01:00
Mathias Vorreiter Pedersen	f2197e67f5	C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.	2023-04-04 15:14:27 +01:00
Mathias Vorreiter Pedersen	f28cf25ba2	Merge pull request #12755 from MathiasVP/aggregate-initialization-ir ... C++: IR generation for repeated initializers	2023-04-04 15:04:55 +01:00
Robert Marsh	e4ae957cdd	C++: More fixes to overflow detection	2023-04-04 09:31:03 -04:00
Mathias Vorreiter Pedersen	4033ed33d8	C++: Add evil testcase.	2023-04-04 13:50:24 +01:00
Mathias Vorreiter Pedersen	3daefa8b9e	C++: Add more tests.	2023-04-04 10:54:12 +01:00
Mathias Vorreiter Pedersen	ea180c07e4	C++: Accept test changes.	2023-04-04 10:12:03 +01:00
Mathias Vorreiter Pedersen	a0df7d22cd	C++: Add tests for designated initializers with repetitions.	2023-04-04 10:08:18 +01:00
Mathias Vorreiter Pedersen	aa337c72c2	C++: Update import paths in tests and experimental queries.	2023-04-03 15:17:37 +01:00
Jeroen Ketema	8d9b96b776	C++: Drop the bit size restriction in typeBound and use float	2023-03-31 14:36:11 +02:00
Robert Marsh	4b4fc97221	Merge branch 'main' into rdmarsh2/range-analysis-overflow	2023-03-30 11:45:55 -04:00
Mathias Vorreiter Pedersen	4043aa976d	Merge branch 'main' into skip-safe-conversions-in-range-analysis	2023-03-30 11:24:27 +01:00
Mathias Vorreiter Pedersen	0202bafc35	Merge pull request #12709 from MathiasVP/disable-rounding-2 ... C++: Disable floating point rounding in range analysis	2023-03-30 10:05:47 +01:00
Mathias Vorreiter Pedersen	6275a015a4	Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla ... C++: Don't produce partial CFGs when using VLAs	2023-03-30 09:16:10 +01:00
Mathias Vorreiter Pedersen	65c7a504b2	C++: Accept test changes.	2023-03-29 15:08:50 +01:00
Mathias Vorreiter Pedersen	27d8f98418	C++: Replace 'int' with 'float' in tests and accept test changes.	2023-03-29 14:27:37 +01:00
Mathias Vorreiter Pedersen	a2c0e36062	C++: Accept test changes.	2023-03-29 14:25:05 +01:00
Mathias Vorreiter Pedersen	0e9ed989e0	C++: Accept test changes.	2023-03-29 14:01:01 +01:00
Mathias Vorreiter Pedersen	d4746e0508	C++: Add test with VLA.	2023-03-29 13:58:24 +01:00
Mathias Vorreiter Pedersen	8021958ac5	C++: Accept test changes.	2023-03-28 16:50:18 +01:00
Mathias Vorreiter Pedersen	4b2758f1b5	Merge branch 'main' into skip-safe-conversions-in-range-analysis	2023-03-28 10:32:13 +01:00
Jeroen Ketema	99c6111b05	C++: Add support for bounded modulus operations	2023-03-28 00:33:43 +02:00
Mathias Vorreiter Pedersen	724d97eabb	C++: Make sign analysis aware of unsigned'ness and accept test changes.	2023-03-27 23:08:12 +01:00
Mathias Vorreiter Pedersen	cbd4662696	Merge branch 'main' into skip-safe-conversions-in-range-analysis	2023-03-27 21:18:49 +01:00
Mathias Vorreiter Pedersen	1a6186496f	C++: Accept test changes.	2023-03-27 13:20:17 +01:00
Jeroen Ketema	d65b9ef32c	Merge pull request #12661 from geoffw0/elementstests ... C++: Restrict tests that output all elements	2023-03-27 09:04:11 +02:00
Geoffrey White	202a717085	C++: Autoformat.	2023-03-24 22:10:51 +00:00
Geoffrey White	536c1939c0	C++: ... and rename the test to fit.	2023-03-24 19:50:13 +00:00
Geoffrey White	7096318884	C++: Focus the templates extern test on Declarations.	2023-03-24 19:50:13 +00:00
Geoffrey White	b5de2a5985	C++: Focus the lambda captures test on stuff inside the lambdas (including some that don't currently have locations).	2023-03-24 19:50:13 +00:00