5602 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	b951bf0f8f	C++: Remove conflation from taint-tracking.	2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen	7437de2909	C++: Fix issue where 'getEnclosingCallable' didn't exist for some globals.	2023-02-27 14:06:13 +00:00
ihsinme	213abc6642	Update DivideByZeroUsingReturnValue.expected	2023-02-19 21:42:48 +03:00
ihsinme	54acbf7676	Update test.cpp	2023-02-19 21:42:14 +03:00
Jeroen Ketema	899f35a59b	Merge pull request #12185 from jketema/test-annotations ... C++: Update test annotations for use-use dataflow	2023-02-14 15:48:35 +01:00
Jeroen Ketema	9e462866a0	C++: Update test annotations for use-use dataflow	2023-02-14 14:48:08 +01:00
Mathias Vorreiter Pedersen	7a81f06e84	C++: Accept test changes.	2023-02-14 09:01:51 +00:00
Mathias Vorreiter Pedersen	748a345e7f	C++: Add a test to reveal missing or spurious types on dataflow nodes.	2023-02-14 08:58:29 +00:00
Jeroen Ketema	996eb6c63c	C++: Fix Ql-for-QL warnings	2023-02-13 09:22:31 +01:00
Mathias Vorreiter Pedersen	378484ec01	Merge pull request #12149 from MathiasVP/fewer-flowthroughs ... C++: Fix spurious flow-through	2023-02-10 18:45:46 +00:00
Jeroen Ketema	7bd28183ba	Merge pull request #12151 from jketema/remove-experimental-dataflow ... C++: Remove experimental copy of the use-use IR dataflow library	2023-02-10 18:08:14 +01:00
Mathias Vorreiter Pedersen	168202dbf7	Update cpp/ql/test/library-tests/dataflow/dataflow-tests/has-parameter-flow-out.ql ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-02-10 16:36:40 +00:00
Jeroen Ketema	5f33827eca	C++: Update test results	2023-02-10 17:10:52 +01:00
Mathias Vorreiter Pedersen	9a8b3bad31	C++: Respond to PR reviews.	2023-02-10 13:56:19 +00:00
Jeroen Ketema	ecdeb9a970	C++: Revert semmle.code.cpp.dataflow to its old state ... While here make sure all queries and tests use IR dataflow when appropriate.	2023-02-10 14:21:44 +01:00
Mathias Vorreiter Pedersen	5bd7589109	C++: Fix spurious flow though and accept test changes.	2023-02-10 12:42:40 +00:00
Mathias Vorreiter Pedersen	faf9fd6253	C++: Add a testcase (and a new test) to test flow through functions.	2023-02-10 12:40:29 +00:00
Jeroen Ketema	ffbaef8771	C++: Update for test changes	2023-02-10 11:23:19 +01:00
Mathias Vorreiter Pedersen	e1aef3127c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-10 09:23:37 +00:00
Jeroen Ketema	8f15abc285	Merge pull request #12146 from jketema/global-indirect ... C++: Do not mark global indirect flow as spurious in dataflow tests	2023-02-10 10:21:04 +01:00
Jeroen Ketema	350fb89ebf	C++: Also mention all locations in the AST case	2023-02-10 09:49:24 +01:00
Mathias Vorreiter Pedersen	9aa9187dd7	Merge pull request #12141 from MathiasVP/fix-multiple-out-nodes ... C++: Deduplicate `OutNode`s	2023-02-10 08:39:16 +00:00
Mathias Vorreiter Pedersen	4719fd5235	C++: Accept more test changes.	2023-02-10 08:38:46 +00:00
Jeroen Ketema	12930c68fb	C++: Do not mark global indirect flow as spurious in dataflow tests	2023-02-10 09:29:27 +01:00
Mathias Vorreiter Pedersen	6b851d0529	C++: Fix an inconsistency with too many out nodes.	2023-02-09 16:55:19 +00:00
Mathias Vorreiter Pedersen	7439de37a3	C++: Add a new test that demonstrates multiple out nodes.	2023-02-09 16:23:32 +00:00
Jeroen Ketema	9d6098af15	Merge pull request #12004 from jketema/single-use ... C++: Map operand nodes that are only used once onto the related instruction node	2023-02-09 17:18:39 +01:00
Mathias Vorreiter Pedersen	946e301ed6	Merge pull request #12079 from rdmarsh2/rdmarsh2/use-use-taint-test-reads ... C++: allow read steps at the sink in IR taint test	2023-02-08 15:08:00 +00:00
Mathias Vorreiter Pedersen	825628675e	C++: Only allow implicit reads of fields that exist on the sink node's type.	2023-02-08 13:08:22 +00:00
Jeroen Ketema	20ce4cdf91	C++: Map operand nodes that are only used once onto the related instruction node	2023-02-07 14:17:54 +01:00
Jeroen Ketema	868f07bc91	Merge branch 'main' into ihsinme-patch-102	2023-02-06 20:16:53 +01:00
Mathias Vorreiter Pedersen	316eecc064	C++: Accept test changes.	2023-02-06 09:09:00 +00:00
Mathias Vorreiter Pedersen	559c799309	C++: Also recognize iterators obtained via a function that doesn't receive the container as a qualiifer.	2023-02-03 21:43:21 +00:00
Mathias Vorreiter Pedersen	77250af444	Merge pull request #12050 from MathiasVP/flow-out-of-iterators-3	2023-02-03 18:43:37 +00:00
Mathias Vorreiter Pedersen	09a7573163	C++: Add comments to the new FP.	2023-02-03 17:09:19 +00:00
Mathias Vorreiter Pedersen	ae774a6b95	C++: Add a test with an indirect source.	2023-02-03 16:59:54 +00:00
Robert Marsh	ad8e82ac65	C++: allow read steps at the sink in IR taint test	2023-02-03 11:38:49 -05:00
Mathias Vorreiter Pedersen	968fff29ac	Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into flow-out-of-iterators-3	2023-02-02 09:12:02 +00:00
Mathias Vorreiter Pedersen	eb31160ae0	C++: Accept test changes.	2023-02-01 13:42:03 +00:00
Mathias Vorreiter Pedersen	702b10ff96	Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow	2023-02-01 13:37:10 +00:00
Mathias Vorreiter Pedersen	0e1dcc8062	C++: Accept test changes. These all appear to be good changes.	2023-02-01 13:25:37 +00:00
Jeroen Ketema	ce8a84abb3	Merge pull request #12043 from jketema/subpaths ... C++: Fix missing subpaths when displaying dataflow paths	2023-02-01 09:17:16 +01:00
Mathias Vorreiter Pedersen	41ea71c31c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-01-31 14:12:23 +00:00
Jeroen Ketema	24891c3f43	C++: Fix missing subpaths when displaying dataflow paths	2023-01-31 10:57:06 +01:00
Gulshan Singh	fb31570af3	Fix bitshift test	2023-01-30 19:55:53 -08:00
Gulshan Singh	051d36ee6a	Add ConstantLShiftExprRange and ConstantRShiftExprRange classes	2023-01-30 19:55:53 -08:00
Gulshan Singh	5710289460	Add bitshift test	2023-01-30 19:55:53 -08:00
Mathias Vorreiter Pedersen	7cc7675cdc	C++: Accept query changes. These are just deduplications.	2023-01-30 09:26:14 +00:00
Mathias Vorreiter Pedersen	1b45c5f96a	C++: Accept test changes.	2023-01-30 09:13:42 +00:00
Mathias Vorreiter Pedersen	2b47e150c6	C++: Accept test changes.	2023-01-27 11:44:17 +00:00