TypeProf: A type analysis tool for Ruby code based on abstract interpretationgithub.com/ruby2 pointsksec5 years ago