您即将离开知乎，请注意您的账号和财产安全。
https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf
