Field-Sensitive Value Analysis by Field-Insensitive Analysis | Publicación