Package de.uzl.its.swat.symbolic.value.primitive.numeric.integral
package de.uzl.its.swat.symbolic.value.primitive.numeric.integral
-
ClassesClassDescriptionWrapper to represent boolean values on the symbolic stack.Wrapper to represent byte values on the symbolic stack.IntValue contains a pair of concrete value and a path constraint.Wrapper for longs to represent symbolic and concrete information on the symbolic stackWrapper for shorts to represent symbolic and concrete information on the symbolic stack