Constant Field Values

Contents

• it.unive.*

it.unive.*

it.unive.lisa.LiSAConfiguration

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

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