Constant Field Values

Contents

• it.unive.*

it.unive.*

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