News for hackers. Stuff that matters.
Re:What science can tell us about C and C++'s security (2020) by Zababa on Monday August 02, 2021 @03:49PM (#28041743)
That might be a very naive view of things, but can't you extract a test suite of the current system (including non-regression tests) to use it to develop the new system? Or do it part by part, ship of Theseus style?
Re:What science can tell us about C and C++'s security (2020) by Const-me on Monday August 02, 2021 @04:27PM (#28042183)
Not sure that gonna work.

Operating systems abstract away hardware differences, and providing portable APIs to userspace processes. Internally, OS kernels are spending non-trivial complexity dealing with random hardware shenanigans. Can't unit test them.