1. A method, comprising: for every assignment statement in source code, determining a dynamic memory-allocation statement in the source code to which an assignee in the respective assignment statement refers; when the respective assignment statement does not allocate memory, marking the respective dynamic memory-allocation statement as modified.