Static analysis by abstract interpretation collecting types of Python programs

Static analysis by abstract interpretation collecting types of Python programs