Sorry, I made a mistake , if the checkpoint is local variable, I should write as
-int vp;
-T I[C];
-<+...
-if(vp > C || ...){
-----邮件原件-----
发件人: Julia Lawall [mailto:[email protected]]
发送时间: 2014年1月21日 11:35
收件人: 林嘉(程二 福州)
抄送: [email protected]
主题: Re: [Cocci] how to match this case?
On Tue, 21 Jan 2014, 林嘉(程二 福州) wrote:
> Following is a code with bug
>
> -----------------------------------
> void set_timeout_value(int iParam)
> {
> int i;
> byte b[100];
> i = Geti();
> if (i > 100 || i < 0){
> return ;
> }
> b[i] = iParam; /* range of I is 0-100，so may overrun array* /
>
> }
> -----------------------------------
> Now I write a patch to find it, like this
>
> @@
> identifier fn, vp;
> identifier I;
> type T;
> expression C;
> @@
> -fn(...,int vp,...)
> -{
> -T I[C];
> -<+...
> -if(vp > C || ...){
> -...
> -}
> -...+>
> -}
>
>
> But it doesn’t work, give me a log:
> rule starting on line 1: position variables or mixed modifs interfere
> with comm_assoc isobool (bool (int vp > int C) || ...)
I will look into it, but you could try putting disable comm_assoc in between
the initial @@, if you just want to see if your rule is working a little bit.
julia
>
> can anyone tell why, thanks
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
