13844 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	51176bdff3	C++: Add Geoffrey's testcases.	2023-06-27 12:59:22 +01:00
Jeroen Ketema	b1ae3a0a7b	Merge remote-tracking branch 'upstream/main' into clears-content	2023-06-27 13:45:33 +02:00
Mathias Vorreiter Pedersen	f2cbbab419	Merge branch 'main' into rdmarsh2/cpp/cobo-handle-array-casts	2023-06-27 12:03:42 +01:00
Mathias Vorreiter Pedersen	985650cb04	Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query ... C++: Add barriers to `cpp/invalid-pointer-deref`	2023-06-27 11:56:58 +01:00
Jeroen Ketema	2628552ef4	C++: Fix join-order problem in clearsContent	2023-06-27 11:59:26 +02:00
Mathias Vorreiter Pedersen	06bc460868	Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge ... C++: fix range analysis back edge detection for irreducible CFGs	2023-06-27 09:14:44 +01:00
Robert Marsh	dcb349434c	C++: fix comment formatting	2023-06-26 15:52:32 -04:00
Robert Marsh	aff4066020	C++: improve irreducible back edge detection	2023-06-26 15:39:09 -04:00
Robert Marsh	757f40c0cb	Merge pull request #13116 from rdmarsh2/rdmarsh2/cpp/cobo-array-vars ... C++: include stack-allocated arrays in off-by-one query	2023-06-26 15:26:45 -04:00
Mathias Vorreiter Pedersen	ef383a135d	C++: Prune the set of interesting pointer-arithmetic instructions by another flow.	2023-06-26 19:09:43 +01:00
Jeroen Ketema	54632cd474	C++: Replace not exists by forex in clearsContent	2023-06-26 20:05:35 +02:00
Jeroen Ketema	527b537fee	Apply suggestions from code review ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-06-26 12:57:43 +02:00
Mathias Vorreiter Pedersen	d68b0605cd	C++: Use 'arrayTypeCand' in 'isSourceImpl' instead of checking for array size explicitly.	2023-06-26 11:37:35 +01:00
Mathias Vorreiter Pedersen	3b4f2b22d6	C++: Fix Code Scanning errors.	2023-06-26 11:36:56 +01:00
Mathias Vorreiter Pedersen	b87bf46c30	C++: Fix joins.	2023-06-26 11:28:32 +01:00
Jeroen Ketema	c7e5dc2e9e	C++: Fix QLDoc issues	2023-06-26 12:18:05 +02:00
Jeroen Ketema	458522a656	C++: Implement clearsContent for IR dataflow	2023-06-26 12:11:03 +02:00
amammad	f715a3437b	better examples	2023-06-26 05:29:16 +10:00
amammad	3ddc9a8b31	fix warnings, more sinks,sources,comments	2023-06-26 05:26:30 +10:00
amammad	ae98510f77	add more source and sinks and sanitizers	2023-06-26 00:21:55 +10:00
amammad	4a37da3593	V1	2023-06-25 20:26:21 +10:00
Mathias Vorreiter Pedersen	e32f7d84a5	C++: Speed up analysis on 'Samate' by avoiding the 'Variable' column in the dataflow stages of the query.	2023-06-25 00:35:43 +01:00
Mathias Vorreiter Pedersen	e0f5c584b9	C++: Fix Code Scanning error.	2023-06-24 19:38:22 +01:00
Mathias Vorreiter Pedersen	c1077fe75d	C++: Accept test changes.	2023-06-24 19:12:03 +01:00
Mathias Vorreiter Pedersen	9d5b8cff2e	C++: Add a barrier to the 'cpp/invalid-pointer-deref' query.	2023-06-24 19:12:03 +01:00
Mathias Vorreiter Pedersen	fba753ce61	C++: Add more test cases to 'cpp/invalid-pointer-deref'.	2023-06-24 18:59:25 +01:00
Robert Marsh	69ee615119	Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators ... C++: Dataflow fix for the self-iterators issue	2023-06-23 13:50:23 -04:00
Mathias Vorreiter Pedersen	600c60af8b	Merge branch 'main' into rdmarsh2/cpp/cobo-array-vars	2023-06-23 10:54:46 +01:00
Mathias Vorreiter Pedersen	79fb6a6079	C++: Accept test changes.	2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen	0839c1aad1	C++: Allow self-flow through indirect parameters.	2023-06-22 19:33:18 +01:00
Mathias Vorreiter Pedersen	da54751d85	C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.	2023-06-22 19:33:13 +01:00
Mathias Vorreiter Pedersen	fe97572f70	C++: Fix strncpy model.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	273e5bc21f	C++: Add testcase demonstrating that the model for 'strncpy' is broken.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	ff3c76c1fa	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	4f1b2c6194	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	a8a04c8588	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	6528985a27	C++: Add QLDoc to 'hasAddressOperandAndIndirectionIndex'.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	c7cff373de	C++: Add another testcase with conflation.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	3365ff0d95	C++: Ensure that 'PrintIR' for dataflow still compiles.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	6543da9990	C++: Accept test changes.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	3b0a286d8e	C++: Adjust the rest of the library to the new API.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	6034eb07af	C++: Change the API for indirect operands and indirection instructions to not allow pointer conflation.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	9e9c811eb3	C++: Fix conflation bug in 'getIRRepresentationOfIndirectInstruction'.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	5816f177c9	C++: Add failing test.	2023-06-22 10:59:11 +01:00
Robert Marsh	ba7cb8f4ae	C++: fix range analysis back edge detection for irreducible CFGs	2023-06-21 17:54:52 -04:00
Henry Mercer	5afdaf8fe1	Merge pull request #13525 from github/rc/3.10 ... Merge `rc/3.10` back to `main`	2023-06-21 17:13:36 +01:00
Remco Vermeulen	c0884432e8	Format query	2023-06-20 10:38:08 -07:00
Owen Mansel-Chan	d7c97f8759	Merge pull request #13455 from owen-mc/dataflow/add-flowCheckNodeSpecific ... Dataflow: add language-specific hook for breaking up big step relation	2023-06-20 13:24:26 +01:00