2994 Commits

Author	SHA1	Message	Date
Geoffrey White	303882350b	C++: Add some test cases for new (real) taint sources to be defined using models-as-data.	2024-01-18 13:01:16 +00:00
Geoffrey White	9611e4ce19	C++: Add tests for (synthetic) models-as-data sources and sinks.	2024-01-18 13:01:16 +00:00
Alex Denisov	f1049a4431	C++: update tests to pick up destructor changes	2024-01-17 12:05:30 +01:00
Mathias Vorreiter Pedersen	6bd31deb00	Merge pull request #15282 from MathiasVP/fix-duplicate-final-global-value ... C++: Fix duplicate "final global value" nodes	2024-01-12 11:05:19 +00:00
Jeroen Ketema	1c9f5b8b74	Merge pull request #15300 from github/sashabu/uuidof ... C++: Add a test with `__uuidof` in a template.	2024-01-12 00:05:49 +01:00
Alexandre Boulgakov	3493252321	C++: Add a test with __uuidof in a template.	2024-01-11 22:11:50 +01:00
Tom Hvitved	ad75562b55	CPP: Update expected test output	2024-01-10 15:27:22 +01:00
Mathias Vorreiter Pedersen	7a0cbb4e5a	C++: Accept test changes.	2024-01-10 11:55:53 +00:00
Mathias Vorreiter Pedersen	259bf27334	C++: Add pointer/pointee conflation test.	2024-01-10 11:51:40 +00:00
Jeroen Ketema	9330afbe8a	Merge pull request #15252 from jketema/builtin-rm ... C++: Remove test that is no longer relevant	2024-01-08 20:38:46 +01:00
Jeroen Ketema	e772531bb3	C++: Remove test that is no longer relevant	2024-01-08 15:24:41 +01:00
Ben Rodes	2b325e99ce	Merge branch 'main' into 32-cpp-string-concatenation-library	2024-01-04 15:28:28 -05:00
Benjamin Rodes	ed788e0a7a	Updating test output.	2024-01-04 15:27:29 -05:00
Jeroen Ketema	ae135ac633	C++: Improve special members test by printing more function details ... Without this it is very hard to see what specifically is defaulted/deleted.	2024-01-03 13:35:25 +01:00
Benjamin Rodes	6fb01925d0	Updating test ql file and applying formatting.	2023-12-19 09:39:46 -05:00
Mathias Vorreiter Pedersen	61e30b9ff8	C++: Accept more test changes.	2023-12-14 15:25:29 +00:00
Mathias Vorreiter Pedersen	0c100eb122	C++: Accept test changes.	2023-12-14 14:44:58 +00:00
Jeroen Ketema	8d2c72fc73	C++: Update test for CLI changes	2023-12-11 16:36:51 +01:00
Anders Schack-Mulligen	64eb4ff753	Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api ... Data Flow: Deprecate old data flow api.	2023-12-08 14:27:25 +01:00
Mathias Vorreiter Pedersen	7b83947383	Merge branch 'main' into fewer-dataflow-branches	2023-12-08 09:30:01 +00:00
Mathias Vorreiter Pedersen	1c73d43b4f	C++: Accept more test changes.	2023-12-08 09:29:48 +00:00
Jeroen Ketema	9a555ba16e	Merge pull request #14909 from jketema/rm-dtt ... C++: Remove `DefaultTaintTracking` library	2023-12-08 10:08:55 +01:00
Mathias Vorreiter Pedersen	e648058d30	C++: Accept test changes.	2023-12-07 23:11:28 +00:00
Anders Schack-Mulligen	9fafa973d8	C++: Remove irrelevant test.	2023-12-07 14:13:42 +01:00
Jeroen Ketema	edf178696d	C++: accept test changes for IR Guards replacement	2023-12-06 12:47:20 +01:00
Jeroen Ketema	db1dc6fa2c	Merge pull request #15021 from jketema/ir-guards-unreached-fix ... C++: Fix handling of unreached instructions in IRGuards	2023-12-06 12:46:09 +01:00
Mathias Vorreiter Pedersen	9fa20f5f39	Merge pull request #14799 from MathiasVP/solve-modify-copy-problem ... DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation	2023-12-06 09:55:34 +00:00
Jeroen Ketema	4390e4cad3	C++: Fix handling of unreached instructions in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	d6e30cd828	C++: Add test showing unreachable instructions give spurious blocks in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	4d702e2eee	C++: Fix IRGuards ternary behaviour	2023-12-05 12:17:46 +01:00
Jeroen Ketema	d84961571b	C++: Add IRGuards test that shows that ternary behaviour is not quite correct	2023-12-05 12:16:01 +01:00
Benjamin Rodes	94a0420040	Updated getResultExpr to getResultNode. Added strlcat. Added tests.	2023-11-29 16:03:41 -05:00
Mathias Vorreiter Pedersen	e47ad274ea	C++: Add Schack's tests.	2023-11-28 14:32:21 +00:00
Mathias Vorreiter Pedersen	fb6329fbc1	C++: Fix test annotation	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1771d77c23	C++: Accept test changes.	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1753a7e146	C++: Add tests.	2023-11-28 14:27:15 +00:00
Jeroen Ketema	c02a732632	C++: Remove DefaultTaintTracking library	2023-11-24 18:35:19 +01:00
Mathias Vorreiter Pedersen	98bf748e64	C++: Accept test changes.	2023-11-23 16:53:57 +00:00
Mathias Vorreiter Pedersen	dcba8e5408	C++: Fix global variable flow for array types.	2023-11-20 12:15:55 +00:00
Mathias Vorreiter Pedersen	8039e117ba	C++: Add more global-variable flow tests.	2023-11-20 12:15:52 +00:00
Mathias Vorreiter Pedersen	5a7cb8f25a	C++: Fix duplication on reference dereference expressions.	2023-11-16 10:52:35 +00:00
Mathias Vorreiter Pedersen	799873113f	C++: Add a test that demonstrates reference dereference duplication.	2023-11-16 10:52:14 +00:00
Mathias Vorreiter Pedersen	f8feb84958	C++: Accept test changes from refactoring QL files.	2023-11-16 10:52:10 +00:00
Mathias Vorreiter Pedersen	6a1504b91c	C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.	2023-11-16 10:50:56 +00:00
Anders Schack-Mulligen	bf6cfd3bef	Rangeanalysis: Simplify api.	2023-11-13 10:35:44 +01:00
Mathias Vorreiter Pedersen	39b9d2ea83	C++: Accept test changes.	2023-11-09 20:28:55 +00:00
Mathias Vorreiter Pedersen	0963af2ee7	C++: Add failing tests.	2023-11-09 18:01:22 +00:00
Mathias Vorreiter Pedersen	1c8f474848	C++: Add comment as suggested in the PR review for #14708.	2023-11-07 15:16:38 +00:00
Mathias Vorreiter Pedersen	2787f0a0fc	Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis ... C++: Add range analysis testcase	2023-11-07 15:15:45 +00:00
Mathias Vorreiter Pedersen	a04830b8b2	Merge pull request #14697 from MathiasVP/range-analysis-simplify-conversions ... C++: Simplify the definition of `SemExpr` for range analysis	2023-11-07 14:52:09 +00:00