Set memcpy and strcpy to top; these can overwrite partially.
Set memcpy and strcpy to top; these can overwrite partially.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer