CppMem: Interactive C/C++ memory model

一个用于分析 C/C++ 程序内存序的工具。它能够静态分析并发程序中所有操作之间可能存在的序关系，将这些序关系可视化，并立即指出程序中是否存在潜在的 data race 。

http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/