verify strcy

Aug 23, 2014 at 6:22 AM
Edited Aug 23, 2014 at 6:23 AM
Hi
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