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