stage3/array_range_check.cc
Mon, 18 Jun 2012 15:52:09 +0100 Mario de Sousa fix array bounds check.
Mon, 18 Jun 2012 15:37:37 +0100 Mario de Sousa Fix stupid typos (in calculating array dimension)!
Thu, 14 Jun 2012 12:00:19 +0100 Mario de Sousa Clean up code (remove parsing of integers in stage 4).
Wed, 13 Jun 2012 19:43:12 +0100 Mario de Sousa Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Tue, 12 Jun 2012 17:12:09 +0100 Mario de Sousa Remove potential access to NULL pointer.
Tue, 12 Jun 2012 17:00:00 +0100 Mario de Sousa Fix array index bound check to consider uint64 indexes/limits.
Mon, 11 Jun 2012 22:38:36 +0200 Manuele Conti Add check array out of bound.
Tue, 15 May 2012 23:03:25 +0100 mjsousa Renamed class, remove unused code, delete allocated objects.