Paper notes: A memory model for static analysis of C programs

Title: A memory model for static analysis of C programs
PDF: 44f93d2a09e3d91eca160b387db6cd8c.pdf

Nice read; defines a region-based memory model that can describe C semantics and keep track of lvalue expressions; like a poor man’s alias analysis. Implementation available as part of the clang analyzer.

Original Twitter link: https://twitter.com/_argp/statuses/483678143371550720