Skip to content

Allow setting stack values in analysis frames

Jason Zaugg requested to merge retronymm/asm:unfork/set-stack into master

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.

Merge request reports