Constant Field Values

Contents

• it.unive.*

it.unive.*

it.unive.lisa.analysis.SimpleAbstractState<H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.type.TypeDomain<T>>

Modifier and Type	Constant Field	Value
public static final java.lang.String	HEAP_REPRESENTATION_KEY	"heap"
public static final java.lang.String	TYPE_REPRESENTATION_KEY	"type"
public static final java.lang.String	VALUE_REPRESENTATION_KEY	"value"

it.unive.lisa.analysis.nonInterference.NonInterference

Modifier and Type	Constant Field	Value
public static final byte	NI_BOTTOM	0
public static final byte	NI_HIGH	2
public static final byte	NI_LOW	1

it.unive.lisa.analysis.string.fsa.FSA

Modifier and Type	Constant Field	Value
public static final int	WIDENING_TH	5

it.unive.lisa.analysis.string.tarsis.Tarsis

Modifier and Type	Constant Field	Value
public static final int	WIDENING_CAP	5