5705 Commits

Author	SHA1	Message	Date
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
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