1907 Commits

Author	SHA1	Message	Date
Alex Eyers-Taylor	7d99d61662	CPP: Convert SQL tainted to IR dataflow.	2023-08-23 13:39:29 +01:00
Jeroen Ketema	6566b91355	C++: Add indication that the test result is good	2023-08-22 16:38:46 +02:00
Jeroen Ketema	1e8daff02a	C++: Add cpp/non-constant-format test	2023-08-22 16:23:47 +02:00
Mathias Vorreiter Pedersen	50190efe1c	C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.	2023-08-21 12:51:00 +01:00
Mathias Vorreiter Pedersen	4daabdae2b	C++: Promote 'cpp/invalid-pointer-deref' out of experimental.	2023-08-21 10:23:22 +01:00
Jonas Jensen	a002f59f58	C++: Undo BadlyBoundedWrite change from #13929 ... This rolls back the query change, ensuring that there is no need for a change note.	2023-08-18 13:48:58 +02:00
Jonas Jensen	cd1f196848	C++: Accept regression in test after evaluator fix	2023-08-18 13:30:20 +02:00
Jeroen Ketema	e04d30a676	C++: Update expected test changes due to the line in test2.cpp having shifted	2023-08-09 15:50:07 +02:00
Jeroen Ketema	d0e7354a1b	C++: Only consider the maximum buffer size for badly bounded write	2023-08-09 12:30:00 +02:00
Jeroen Ketema	9572b9d308	C++: Add test where buffer initialized with literal is reassigned an allocation	2023-08-09 12:26:10 +02:00
Anders Schack-Mulligen	ae24d68b5d	C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.	2023-07-19 11:41:15 +02:00
Mingjie Shen	4b4c0cd563	C++: add testcases for UninitializedLocal.ql	2023-07-06 20:07:58 -04:00
Mathias Vorreiter Pedersen	95ddc01ccb	Merge pull request #13502 from rvermeulen/rvermeulen/compare-using-integer-precision ... C++: Account for the signedness of the lesser operand in `cpp/comparison-with-wider-type`	2023-06-30 17:44:28 +01:00
Mathias Vorreiter Pedersen	518a3729ca	C++: Accept test changes.	2023-06-30 12:51:55 +01:00
Mathias Vorreiter Pedersen	97916407c2	C++: Accept test changes.	2023-06-29 16:51:08 +01:00
Kasper Svendsen	656b4fc1aa	Merge pull request #13574 from kaspersv/kaspersv/cpp-remaining-implicit-this ... CPP: Enable implicit this warnings for remaining packs	2023-06-27 16:56:28 +02:00
Kasper Svendsen	d1979197c7	CPP: Enable implicit this warnings for remaining packs	2023-06-27 14:44:24 +02:00
Jeroen Ketema	458522a656	C++: Implement clearsContent for IR dataflow	2023-06-26 12:11:03 +02:00
Mathias Vorreiter Pedersen	79fb6a6079	C++: Accept test changes.	2023-06-22 19:34:05 +01:00
Remco Vermeulen	32d7faa3b8	Account for the signedness of the lesser operand	2023-06-19 16:57:36 -07:00
Mathias Vorreiter Pedersen	0dfc9b996d	C++: Promote 'cpp/overrun-write' out of experimental.	2023-05-23 14:57:42 -07:00
Mathias Vorreiter Pedersen	b32d55a21d	C++: Accept test changes.	2023-05-22 18:26:29 -07:00
Mathias Vorreiter Pedersen	402212bab9	C++: Accept query test changes.	2023-05-16 18:35:05 +01:00
Mathias Vorreiter Pedersen	fd2f0257b6	C++: Accept query changes.	2023-04-28 10:25:12 +01:00
Mathias Vorreiter Pedersen	533e1d818b	C++: Add some use-after-free FPs.	2023-04-19 17:01:55 +01: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
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
Mathias Vorreiter Pedersen	2ce0d2b7ee	C++: Accept more test changes.	2023-03-21 10:07:23 +00:00
Mathias Vorreiter Pedersen	40cc2e7891	C++: Also exclude unevaluated buffers in 'OverflowStatic'.	2023-03-21 09:53:39 +00:00
Mathias Vorreiter Pedersen	4d2a1ea149	C++: Also add a FP test to 'OverflowStatic'.	2023-03-21 09:50:47 +00:00
Mathias Vorreiter Pedersen	8623d8eb8e	C++: Exclude unevaluated expressions from BufferAccess.	2023-03-21 09:48:09 +00:00
Mathias Vorreiter Pedersen	b37bb660c5	C++: Add FP caused by a BufferAccess inside an unevalauted context.	2023-03-21 09:37:18 +00:00
Jeroen Ketema	de97ae38dc	C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand	2023-03-09 15:15:00 +01:00
Jeroen Ketema	a2248cb5a0	C++: Use getAUse in getIRRepresentationOfOperand	2023-03-09 09:45:54 +01:00
Mathias Vorreiter Pedersen	63690066c5	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-03-07 13:06:43 +00:00
Mathias Vorreiter Pedersen	b054b9c5cd	Merge pull request #12408 from jketema/merge-main ... C++: use-use dataflow merge main	2023-03-07 13:05:30 +00:00
Paolo Tranquilli	bdad847584	Merge pull request #12422 from github/redsun82/cpp-scanf-fp ... C++: add false positives to `MissingCheckScanf` test	2023-03-07 13:29:22 +01:00