[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2024-11-05 Thread kees at outflux dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 Kees Cook changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2020-03-31 Thread kees at outflux dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #8 from Kees Cook --- Created attachment 48153 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48153&action=edit updated PoC

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2020-03-31 Thread kees at outflux dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #7 from Kees Cook --- (In reply to Kees Cook from comment #6) > (In reply to Jakub Jelinek from comment #4) > > (In reply to Kees Cook from comment #2) > > > Is there anything to enforce a strict "only consider empty array size as > >

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2020-03-31 Thread kees at outflux dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #6 from Kees Cook --- (In reply to Jakub Jelinek from comment #4) > (In reply to Kees Cook from comment #2) > > Is there anything to enforce a strict "only consider empty array size as > > flexible array member" mode? This is an unfor

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #5

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-20 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #4 from Jakub Jelinek --- (In reply to Kees Cook from comment #2) > Is there anything to enforce a strict "only consider empty array size as > flexible array member" mode? This is an unfortunate weakening of the array > bounds checker

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-19 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 Andrew Pinski changed: What|Removed |Added Keywords||documentation --- Comment #3 from Andrew

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-19 Thread kees at outflux dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #2 from Kees Cook --- Is there anything to enforce a strict "only consider empty array size as flexible array member" mode? This is an unfortunate weakening of the array bounds checker as there are plenty of structures that have a fix

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-19 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 --- Comment #1 from Andrew Pinski --- I thought GCC documented this differently. So this is just a documentation issue. GCC allows even non-1 sized fields to be considered flexible arrays if they are at the end of the struct.