Uses of Class
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullPointerDereferenceException

Packages that use NullPointerDereferenceException

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.

Uses of NullPointerDereferenceException in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that throw NullPointerDereferenceException

Modifier and Type	Method and Description
ConcreteValue	Field.evaluateOn(ProgramState programState) evaluates the expression defining the origin and gets the element referenced by the field starting at this origin element.
ConcreteValue	Value.evaluateOn(ProgramState programState)
void	Field.setValue(ProgramState programState, ConcreteValue concreteTarget) Sets the value of the field in programState to concreteTarget.
void	SettableValue.setValue(ProgramState programState, ConcreteValue concreteRHS) Sets a value to a given value that is evaluated in a given programState.