Skip to content

Add hook methods to analysis.Frame for branch-sensitive analyses

Lukas Rytz requested to merge lrytz/asm:branch-sensitive into master

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.

Merge request reports