A framework to capture dynamic data structures in pointer-based codes | Publicación