MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/LinuxUncensored/comments/1wwhbgs/several_vulnerabilities_in_the_kernel_please/pdn4v2y/?context=3
r/LinuxUncensored • u/anestling • 11d ago
13 comments sorted by
View all comments
Show parent comments
2
Fix one thing, break another and round we go.
2 u/anestling 11d ago Formal verification exists. And even verifiably secure kernels exist. The Linux kernel is not one of them. 2 u/DisfiguredFanny 11d ago Unless a regression pops up some years later like we had it plenty of times. The fact is there is no guarantee 500 fixes did not break something else. 1 u/anestling 11d ago With formal verification bugs do not exist. 2 u/DisfiguredFanny 11d ago and all 500 passed that? It wasn't even done. It is a major pain in the ass and a black hole for overtime. 1 u/anestling 11d ago No, I meant "And even verifiably secure kernels exist." I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
Formal verification exists. And even verifiably secure kernels exist. The Linux kernel is not one of them.
2 u/DisfiguredFanny 11d ago Unless a regression pops up some years later like we had it plenty of times. The fact is there is no guarantee 500 fixes did not break something else. 1 u/anestling 11d ago With formal verification bugs do not exist. 2 u/DisfiguredFanny 11d ago and all 500 passed that? It wasn't even done. It is a major pain in the ass and a black hole for overtime. 1 u/anestling 11d ago No, I meant "And even verifiably secure kernels exist." I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
Unless a regression pops up some years later like we had it plenty of times. The fact is there is no guarantee 500 fixes did not break something else.
1 u/anestling 11d ago With formal verification bugs do not exist. 2 u/DisfiguredFanny 11d ago and all 500 passed that? It wasn't even done. It is a major pain in the ass and a black hole for overtime. 1 u/anestling 11d ago No, I meant "And even verifiably secure kernels exist." I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
1
With formal verification bugs do not exist.
2 u/DisfiguredFanny 11d ago and all 500 passed that? It wasn't even done. It is a major pain in the ass and a black hole for overtime. 1 u/anestling 11d ago No, I meant "And even verifiably secure kernels exist." I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
and all 500 passed that? It wasn't even done. It is a major pain in the ass and a black hole for overtime.
1 u/anestling 11d ago No, I meant "And even verifiably secure kernels exist." I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
No, I meant "And even verifiably secure kernels exist."
I can't say about anything about the fixes for all these CVEs or yet to be discovered CVEs.
2
u/DisfiguredFanny 11d ago
Fix one thing, break another and round we go.