Hi. I’m solving challenge 172 from Codeabbey with C. I’ve been for several days solving Splint warnings (this is my first time using C this way). Now I’m stuck with two particular kinds of warning: “Possible out-of-bounds store” and “Statement has no effect” (I’m getting it in a print function).
In addition, I’m getting a warning that says: “Unrecognized identifier: strtok_r”. I’m not sure if there is a way to use the strtok_r function, or what can I use instead.
What do you understand or find about that problem
I understand that to solve the first kind of problem, “Possible out-of-bounds store”, I need to use the annotation “requires maxSet”, but I still cannot find the right way to use it.
You make any workaround? What did you do?
I’ve been reading the Splint documentation, searching some related posts (mainly in StackOverflow), and even reading some codes in C that I found in the repo, but I still don’t get a way to solve it.
I need help with
I need help to understand the right way to use the annotation “requires maxSet”, or to know if there is another way to solve that kind of warning. Also, I need some advice to solve the other two warnings.
Thanks in advance!