hello, i want to implement a script to check this rule Before any array access, the addressing range must be checked.
example
in this code
void main ()
{
int T[10];
T[20] = 5 ;
}
the script must detect an error on ( T[20] = 5 ;) because there is an
overflow of the array size.
any suggestions please to implement this script ?
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
