Re: [Dri-devel] copy_from_user question

2003-06-13 Thread Keith Whitwell
Keith Whitwell wrote: Hollis Blanchard wrote: On Wednesday, Jun 4, 2003, at 17:45 US/Central, José Fonseca wrote: On Wed, Jun 04, 2003 at 05:17:52PM -0500, Hollis Blanchard wrote: This is what the Stanford checker turned up recently when analyzing the copy_to/from_user calls in the Linux kernel:

Re: [Dri-devel] copy_from_user question

2003-06-06 Thread Keith Whitwell
Hollis Blanchard wrote: On Wednesday, Jun 4, 2003, at 17:45 US/Central, José Fonseca wrote: On Wed, Jun 04, 2003 at 05:17:52PM -0500, Hollis Blanchard wrote: This is what the Stanford checker turned up recently when analyzing the copy_to/from_user calls in the Linux kernel: [...] This is all bec

Re: [Dri-devel] copy_from_user question

2003-06-06 Thread Hollis Blanchard
On Wednesday, Jun 4, 2003, at 17:45 US/Central, José Fonseca wrote: On Wed, Jun 04, 2003 at 05:17:52PM -0500, Hollis Blanchard wrote: This is what the Stanford checker turned up recently when analyzing the copy_to/from_user calls in the Linux kernel: [...] This is all because the DRM_COPY_FROM_US

Re: [Dri-devel] copy_from_user question

2003-06-05 Thread Keith Whitwell
José Fonseca wrote: Hollis, On Wed, Jun 04, 2003 at 05:17:52PM -0500, Hollis Blanchard wrote: This is what the Stanford checker turned up recently when analyzing the copy_to/from_user calls in the Linux kernel: [...] This is all because the DRM_COPY_FROM_USER_UNCHECKED is being called in ra

Re: [Dri-devel] copy_from_user question

2003-06-05 Thread José Fonseca
Hollis, On Wed, Jun 04, 2003 at 05:17:52PM -0500, Hollis Blanchard wrote: > This is what the Stanford checker turned up recently when analyzing the > copy_to/from_user calls in the Linux kernel: > [...] > > This is all because the DRM_COPY_FROM_USER_UNCHECKED is being called in > radeon_cp_d

[Dri-devel] copy_from_user question

2003-06-05 Thread Hollis Blanchard
This is what the Stanford checker turned up recently when analyzing the copy_to/from_user calls in the Linux kernel: - [BUG] function radeon_cp_dispatch_indices calls DRM_COPY_FROM_USER_UNCHECKED on parameter 'dev_priv->sarea_priv->boxes',