Re: [PATCH v9 3/4] Use the counted_by attribute of pointers in array bound checker.

2025-08-11 Thread Qing Zhao
> On Aug 8, 2025, at 16:33, Joseph Myers wrote: > > On Fri, 1 Aug 2025, Qing Zhao wrote: > >> + /* For a poiner array address as: > > "poiner" should be "pointer”. Will fix this before committing. > > OK with that fix, in the absence of objections within the next week from > other maintain

Re: [PATCH v9 3/4] Use the counted_by attribute of pointers in array bound checker.

2025-08-08 Thread Joseph Myers
On Fri, 1 Aug 2025, Qing Zhao wrote: > + /* For a poiner array address as: "poiner" should be "pointer". OK with that fix, in the absence of objections within the next week from other maintainers or reviewers. -- Joseph S. Myers josmy...@redhat.com

[PATCH v9 3/4] Use the counted_by attribute of pointers in array bound checker.

2025-08-01 Thread Qing Zhao
Current array bound checker only instruments ARRAY_REF, and the INDEX information is the 2nd operand of the ARRAY_REF. When extending the array bound checker to pointer references with counted_by attributes, the hardest part is to get the INDEX of the corresponding array ref from the offset comput