NeonGoby alias analysis checker