TypeProf is a type analysis tool for Ruby code based on abstract interpretation.