-
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.
638dca4f