Page MenuHomeFreeBSD

Allow ssp_test:read to pass more reliably
ClosedPublic

Authored by arichardson on Mar 1 2021, 2:55 PM.
Tags
None
Referenced Files
F103232461: D28997.diff
Fri, Nov 22, 11:33 AM
Unknown Object (File)
Thu, Nov 14, 1:36 PM
Unknown Object (File)
Thu, Nov 7, 12:45 PM
Unknown Object (File)
Oct 1 2024, 1:03 AM
Unknown Object (File)
Sep 30 2024, 1:21 PM
Unknown Object (File)
Sep 26 2024, 5:19 PM
Unknown Object (File)
Sep 22 2024, 7:06 PM
Unknown Object (File)
Sep 10 2024, 11:48 PM
Subscribers

Details

Summary

It appears that the stackframe layout can be slightly different depending on
compiler and target architecture. For example, when using CHERI LLVM for RISC-V
we can actually overflow the buffer by up to 8 bytes without SSP detecting it.
Fix this by increasing the overflow to 15 bytes.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 37477
Build 34366: arc lint + arc unit

Event Timeline

I think this is reasonable. I don't think we care whether SSP detects a stack overflow that overwrites only padding.

This revision is now accepted and ready to land.Mar 1 2021, 3:36 PM
contrib/netbsd-tests/lib/libc/ssp/t_ssp.sh
397

I wonder if this consistently works on NetBSD?

contrib/netbsd-tests/lib/libc/ssp/t_ssp.sh
397

Unlikely.