5418 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	ab67103e6e	Merge pull request #12966 from MathiasVP/dataflow-for-static-vars ... C++: Dataflow for static local variables	2023-05-02 11:52:43 +01:00
Robert Marsh	c6e0ee2695	C++: fix duplicated UnreachedInstruction in raw IR	2023-05-01 22:54:37 -04:00
Robert Marsh	c01ee597fa	C++: handle calls to noreturn functions	2023-05-01 22:25:12 -04:00
Mathias Vorreiter Pedersen	a7d238f4c4	C++: Accept consistency changes.	2023-04-28 22:41:58 +01:00
Mathias Vorreiter Pedersen	8c8b919dfb	C++: Add an API for indirect barrier guards and use it in tests.	2023-04-28 14:09:08 +01:00
Mathias Vorreiter Pedersen	a6adf825bc	C++: Add a test that needs indirect barrier guards.	2023-04-28 13:56:31 +01:00
Mathias Vorreiter Pedersen	0f0384cff6	C++: Rewrite the barrier guard tests to be expression based. This is really what we expect people to write in queries.	2023-04-28 13:49:01 +01:00
Mathias Vorreiter Pedersen	43527573d0	C++: Fix back edge detection for phi nodes.	2023-04-28 11:58:56 +01:00
Mathias Vorreiter Pedersen	faf846bd58	C++: Disable flow through nodes that are sources of phi edges' back edges.	2023-04-28 11:36:42 +01:00
Mathias Vorreiter Pedersen	c35cb70c9f	C++: Fix inconsistencies.	2023-04-28 10:40:18 +01:00
Mathias Vorreiter Pedersen	fd2f0257b6	C++: Accept query changes.	2023-04-28 10:25:12 +01:00
Mathias Vorreiter Pedersen	24d1cac9d7	C++: Accept test changes.	2023-04-28 10:25:07 +01:00
Mathias Vorreiter Pedersen	3eca60cc40	C++: Add static local testcases.	2023-04-28 10:23:36 +01:00
Mathias Vorreiter Pedersen	205bb76036	Merge pull request #12960 from MathiasVP/fp-invalid-deref-2 ... C++: Add more FPs for `cpp/invalid-pointer-deref`	2023-04-28 09:47:46 +01:00
Mathias Vorreiter Pedersen	4ef58cd662	C++: Remove unused parameter in test.	2023-04-28 09:30:30 +01:00
Mathias Vorreiter Pedersen	5f4d0892ff	Merge pull request #12900 from MathiasVP/ir-translate-constant-static-local-vars-2	2023-04-28 08:46:25 +01:00
Mathias Vorreiter Pedersen	5c23474634	C++: Add FPs for 'cpp/invalid-pointer-deref'.	2023-04-27 18:49:05 +01:00
Mathias Vorreiter Pedersen	e46c53af1d	C++: accept test changes.	2023-04-27 17:13:02 +01:00
Mathias Vorreiter Pedersen	1372ee7a44	Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2023-04-27 17:10:44 +01:00
Mathias Vorreiter Pedersen	432c0b508a	C++: Add another FP.	2023-04-27 14:50:29 +01:00
Mathias Vorreiter Pedersen	5a8bed0285	C++: Add FP for 'cpp/invalid-pointer-deref'.	2023-04-27 13:13:21 +01:00
Mathias Vorreiter Pedersen	b18e096f7f	C++: Fix missing result for 'getFunction' and accept test changes.	2023-04-26 18:01:39 +01:00
Mathias Vorreiter Pedersen	1dcac76992	C++: Add a weird testcase demonstrating invalid IR.	2023-04-26 17:48:02 +01:00
Mathias Vorreiter Pedersen	3d381331e1	C++: Add a test with global variable templates.	2023-04-26 15:00:32 +01:00
Mathias Vorreiter Pedersen	3f03cc27cd	C++: Accept test changes.	2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen	9cc4bfec2a	C++: Accept test changes.	2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen	d14ee931e1	C++: IR translation for non-runtime-initialized static local variables.	2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen	533e1d818b	C++: Add some use-after-free FPs.	2023-04-19 17:01:55 +01:00
Jeroen Ketema	1a876f7762	C++: Update test expectations after extractor changes	2023-04-19 14:12:00 +02:00
Tom Hvitved	f6d000eb20	Merge pull request #12805 from hvitved/remove-queries-xml ... Remove all `queries.xml` files	2023-04-18 10:52:14 +02:00
Mathias Vorreiter Pedersen	bb8c3de6b2	Merge pull request #12599 from rdmarsh2/rdmarsh2/range-analysis-overflow ... C++: add overflow detection to new range analysis	2023-04-17 20:18:44 +01:00
Mathias Vorreiter Pedersen	d833850850	C++: another 'fix test after module rename'.	2023-04-17 17:48:22 +01:00
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