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
F82095703: D28997.diff
Thu, Apr 25, 11:19 AM
Unknown Object (File)
Mar 10 2024, 6:34 PM
Unknown Object (File)
Mar 10 2024, 6:34 PM
Unknown Object (File)
Mar 7 2024, 8:58 PM
Unknown Object (File)
Mar 7 2024, 8:46 PM
Unknown Object (File)
Feb 13 2024, 5:23 AM
Unknown Object (File)
Jan 15 2024, 2:35 AM
Unknown Object (File)
Dec 30 2023, 3:26 AM
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
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

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.