Add hook methods to analysis.Frame for branch-sensitive analyses
Adds two hook methods to analysis.Frame
, called by Analyzer.analyze
.
These methods are called on the temporary currentFrame
before it is
merged with the existing frame at the branch target.
Overriding these methods allows implementing branch-sensitive analyses, for example for nullness.