https://123dok.net/document/myj6d0pz-static-analysis-of-numerical-properties-in-the-presence-of-pointers.html