Field-sensitive unreachability and non-cyclicity analysis