de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Interfaces

• ConcreteValue
• SettableValue
• Value

Classes

• Field
• GeneralConcreteValue
• IntConstant
• Local
• NewExpr
• NullConstant
• NullPointerDereferenceException
• UndefinedValue