nitc :: nitsaf $ ToolContext :: opt_analysis

	# Analysis to apply
	var opt_analysis = new OptionEnum(["reaching-defs"], "Analysis to apply", 0, "--analysis")