Lukas Rytz authored Jun 11, 2018 and Jason Zaugg committed Jun 13, 2018

Adds a method `setStack` to analysis.Frame which allows setting the
dataflow value of a stack slot.

Could be used in nullness analysis. After, for example, an instance call,
aliases of the receiver can be set to NotNull, both in locals and on the
stack.