src/mc/RegionSnapshot.cpp
src/mc/RegionSnapshot.hpp
src/mc/Type.hpp
+ src/mc/Variable.cpp
src/mc/Variable.hpp
src/mc/mc_forward.h
src/mc/mc_unw_vmread.cpp
src/mc/mc_mmalloc.h
src/mc/mc_object_info.h
- src/mc/mc_object_info.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_snapshot.h
src/mc/mc_snapshot.cpp