4 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	4be02a9463	C++: Use new syntax in field-flow tests	2020-10-29 08:48:37 +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
Jonas Jensen	27b8dc2b13	C++: Add tests for flow through arrays	2020-09-15 14:19:34 +02:00