Geoffrey White

Just added four commits. Broadly: - incorporated changes by Mathias which make dataflow `ArgumentPosition/ParameterPosition` and `ReturnKind` no longer depend on `Node`. This was referred to in the PR description above...

Just pushed 7 commits, implementing summary flow. Only a couple of `FlowSummaryNode` types work at the moment, as the new test shows, and that's a problem I haven't figured out...

Just pushed an implementation of `SummaryOutNode`, and I'm finally happy with the state of the `FlowSummaryNode` class / test overall. The major feature that's left is indirection support, and that...

I've just pushed two commits that add some more test cases, then fix the issue where argument `-1` was the qualifier address, rather than the qualifier object, by adding the...

I just pushed another batch of changes: - indirection support (using the `Argument[*0]` style syntax in the end). - more test cases (and fixed a couple of mistakes in existing...

I just an early DCA run on this branch to see how things are looking (another will surely be wanted before we merge): - new alert for `cpp/uncontrolled-allocation-size` on `vim__vim`;...

As far as I can tell, the still failing tests divide up as follows: - five source/sink tests involving indirection. - one sink test involving a parameter (rather than an...

There's been a *lot* of discussion and iteration on this PR which I think is now approaching completion. For the sake of everyone reading this I want to draw a...

I've just added the change notes and fixed the other minor issues. This PR is now ready for review. I will shortly begin a second DCA run.

The second DCA run: - was technically a failure because two projects failed to build; caused by problems outside of this PR. - overall analysis time is 2.8% slower, a...