Re: [Xen-devel] [PATCH v3] fix potential pa_range_info out of bound access

2016-12-13 Thread Julien Grall
Hi Stefano, On 12/12/16 19:22, Stefano Stabellini wrote: pa_range_info has only 8 elements and is accessed using pa_range as index. pa_range is initialized to 16, potentially causing out of bound access errors. Fix the issue by checking that pa_range is not greater than the size of the array. Re

[Xen-devel] [PATCH v3] fix potential pa_range_info out of bound access

2016-12-12 Thread Stefano Stabellini
pa_range_info has only 8 elements and is accessed using pa_range as index. pa_range is initialized to 16, potentially causing out of bound access errors. Fix the issue by checking that pa_range is not greater than the size of the array. Remove the now superfluous pa_range&0x8 check. Coverity-ID: