analysis

Type Members

1. class AliasingAnalyzer[V <: Value] extends Analyzer[V]

   

   An analyzer that uses AliasingFrames instead of bare Frames.

   An analyzer that uses AliasingFrames instead of bare Frames. This can be used when an analysis needs to track aliases, but doesn't require a more specific Frame subclass.

2. class AliasingFrame[V <: Value] extends Frame[V]

   

3. sealed trait Nullness extends AnyRef

   

   Type to represent nullness of values.

4. class NullnessAnalyzer extends Analyzer[NullnessValue]

   

   This class is required to override the newFrame methods, which makes makes sure the analyzer uses NullnessFrames.

5. class NullnessFrame extends AliasingFrame[NullnessValue]

   

6. final class NullnessInterpreter extends Interpreter[NullnessValue]

   

7. sealed trait NullnessValue extends Value

   

   Represents the nullness state for a local variable or stack value.

   Represents the nullness state for a local variable or stack value.

   Note that nullness of primitive values is not tracked, it will be always Unknown.