This project is read-only.

verify strcy

Aug 23, 2014 at 7:22 AM
Edited Aug 23, 2014 at 7:23 AM
i want to find a good way for verifying strcpy. i want to check the condition that strlen(arg1) > strlen (arg2). may i use strlen in a correct way? since VCC is a static verifier , i think it is not possible to use strlen (because it doesn't know the value of strlen).
please give me some suggestions if you have about this problem.
thanks so much