Class NullPointerState

All Implemented Interfaces:
IVariable<NullPointerState>, INodeWithNumber

public class NullPointerState extends AbstractVariable<NullPointerState>
States for the ssa variables.
Author:
Juergen Graf <graf@kit.edu>