a deep static analyzer for Ruby