dg icon indicating copy to clipboard operation
dg copied to clipboard

Model argv[]

Open mchalupa opened this issue 6 years ago • 1 comments

We do not model this explicitly, so we get unknown pointer. We can do better.

mchalupa avatar Jun 25 '19 06:06 mchalupa

We can also add a new special memory location argv

mchalupa avatar Aug 29 '19 13:08 mchalupa