On: Systemd is bad parsing

[sly010]

> which has bounds checking in hardware.

x86 has bounds checking in hardware. it's called a page fault.

[edit: formatting]

[erik_seaberg → sly010]

Segmentation was expensive (loading an 80286 segment register was very slow and the segment table was impractically small) but could express "offsets between 0 and 42 are valid". Paging is much coarser and suffers from false negatives, because x[y] might accidentally walk off the end of x, skip a guard page, and land on a mapped page from another object.

[insertcredit → sly010]

Not quite true: There would not exist exploitable buffer overflows if that was the case.