don't show warning text in graph (takes too much space)
fileUse: only keep globals instead of removing formals and locals
TODO escaping?
spec: use $ only to denote key
malloc-spec: forgot double free