Don't have Telegram yet? Try it now!
https://www.embedded.com/a-memory-model-for-static-analysis-of-c-programs/
A memory model for static analysis of C programs