Paper notes: A memory model for static analysis of C programs
Title: A memory model for static analysis of C programs
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