-
Lukas Rytz authored
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.
788d0111