public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug sanitizer/87191] UBSan doesn't catch invalid pointer arithmetic outside known object bounds
[not found] <bug-87191-4@http.gcc.gnu.org/bugzilla/>
@ 2022-10-06 12:32 ` Dmitriy.Poterukha at uvoteam dot com
2022-10-06 12:33 ` Dmitriy.Poterukha at uvoteam dot com
1 sibling, 0 replies; 2+ messages in thread
From: Dmitriy.Poterukha at uvoteam dot com @ 2022-10-06 12:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87191
creeon <Dmitriy.Poterukha at uvoteam dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Dmitriy.Poterukha at uvoteam dot c
| |om
--- Comment #5 from creeon <Dmitriy.Poterukha at uvoteam dot com> ---
#0 0x401191 in bar (/home/marxin/Programming/testcases/a.out+0x401191)
#1 0x40122a in main https://stemhave.com/programming-help.html
(/home/marxin/Programming/testcases/a.out+0x40122a)
#2 0x7ffff6c71fea in __libc_start_main ../csu/libc-start.c:308
#3 0x4010a9 in _start (/home/marxin/Programming/testcases/a.out+0x4010a9)
At a minimum we should diagnose if offsetting a pointer to a toplevel object
not by 0/1 (ideally also if not by 0 and then dereferencing?), e.g.:
warning: creating out-of-bounds pointer based on complete object 'a'
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug sanitizer/87191] UBSan doesn't catch invalid pointer arithmetic outside known object bounds
[not found] <bug-87191-4@http.gcc.gnu.org/bugzilla/>
2022-10-06 12:32 ` [Bug sanitizer/87191] UBSan doesn't catch invalid pointer arithmetic outside known object bounds Dmitriy.Poterukha at uvoteam dot com
@ 2022-10-06 12:33 ` Dmitriy.Poterukha at uvoteam dot com
1 sibling, 0 replies; 2+ messages in thread
From: Dmitriy.Poterukha at uvoteam dot com @ 2022-10-06 12:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87191
--- Comment #6 from creeon <Dmitriy.Poterukha at uvoteam dot com> ---
#0 0x401191 in bar (/home/marxin/Programming/testcases/a.out+0x401191)
#1 0x40122a in main https://stemhave.com/programming-help.html
(/home/marxin/Programming/testcases/a.out+0x40122a)
#2 0x7ffff6c71fea in __libc_start_main ../csu/libc-start.c:308
#3 0x4010a9 in _start (/home/marxin/Programming/testcases/a.out+0x4010a9)
At a minimum we should diagnose if offsetting a pointer to a toplevel object
not by 0/1 (ideally also if not by 0 and then dereferencing?), e.g.:
warning: creating out-of-bounds pointer based on complete object 'a'
How i canl all fix it?
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-10-06 12:33 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-87191-4@http.gcc.gnu.org/bugzilla/>
2022-10-06 12:32 ` [Bug sanitizer/87191] UBSan doesn't catch invalid pointer arithmetic outside known object bounds Dmitriy.Poterukha at uvoteam dot com
2022-10-06 12:33 ` Dmitriy.Poterukha at uvoteam dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).