From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Fri, 22 May 2015 12:05:35 +0200
Subject: [Cocci] array index range checking
In-Reply-To: <CABBGRWsyH6LZe-4wxZOyG7zcc0yp=t4MPE07ETBC+jnMne45bw@mail.gmail.com>
References: <CABBGRWtAHM7naeENzeVQu_n0QC9EhCpUEvv_0MyZ+VH8zfxgxg@mail.gmail.com>	<555E4A91.2010300@users.sourceforge.net>	<CABBGRWtnRi0UmDeaemtx-=S8bznO2K-_8jjB_v9sEgHnQUN9QQ@mail.gmail.com>	<555EC300.50503@users.sourceforge.net>
 <CABBGRWsyH6LZe-4wxZOyG7zcc0yp=t4MPE07ETBC+jnMne45bw@mail.gmail.com>
Message-ID: <555EFF6F.2030603@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> i don't get the expected result , ?

How does it differ from your expectations?


> the script must detect all the possible cases of the array size overflow.

The goal is clear. How many software development challenges
are you going to consider for such a purpose?

Regards,
Markus