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.

Jun 25 '19 06:06 mchalupa

We can also add a new special memory location argv

Aug 29 '19 13:08 mchalupa