5 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	2cd23e5ee0	Accept test changes.	2021-10-28 12:36:36 +01:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Jonas Jensen	bdce24735c	C++: Add flow through arrays ... This works by adding data-flow edges to skip over array expressions when reading from arrays. On the post-update side, there was already code to skip over array expressions when storing to arrays. That happens in `valueToUpdate` in `AddressFlow.qll`, which needed just a small tweak to support assignments with non-field expressions at the top-level LHS, like `*a = ...` or `a[0] = ...`. The new code in `AddressFlow.qll` is copy-pasted from `EscapesTree.qll`, and there is already a note in these files saying that they share a lot of code and must be maintained in sync.	2020-09-15 14:46:11 +02:00
Geoffrey White	6f62803e1f	C++: Taint tests for array and reference assignments.	2020-08-27 11:26:25 +01:00