Tony Finch's link log

• 2014-06-30: Clang's memory model for static analysis of C programs. (long) (short) (atom) (wayback machine)