Saagar Jha
(replying to Saagar Jha)
It’s easy to disregard the people who think ld.so should be sandboxed because they clearly have no idea what is going on. But the others are a little harder, because they actually do bring up reasonable problems that are likely in urgent need of being looked at
Saagar Jha
(replying to Saagar Jha)
Unlike how the stars aligned to catch this backdoor*, there was almost nothing special at all about where it was placed. There are hundreds of other places it could have been done! *That* is the systemic problem. It’s also a lot harder to identify and fix.
Saagar Jha
(replying to Saagar Jha)
The “lol I wouldn’t have done that” analysis is, IMO, like fixating on a “goto fail” level of bug–isolated, clearly wrong, obvious to fix–while there are also a thousand other memory corruptions in the language that are prohibitively expensive to fix. But for supply chains here
Saagar Jha
(replying to Saagar Jha)
The problem is that nobody can read all this code. That’s it. You can make the code 50% clearer or reduce the number of libraries loaded or increase auditing but there is so many orders of magnitude more code being written than is properly reviewed that this can’t be fixed
Saagar Jha
(replying to Saagar Jha)
It makes me so sad because I want this to be fixed and I want to go “oh if we paid maintainers some money the problem would go away” but, like, it just doesn’t seem to work. There is just so much code. We are drowning in it. The complexity of our stacks is insane
Saagar Jha
(replying to Saagar Jha)
Again, this isn’t to say that we shouldn’t do any of the obvious solutions. I want big companies who make billions in profit to invest in those first too. But I have yet to see an answer to the problem of “how do we prevent backdoors”. I think we might not be able to
Saagar Jha
(replying to Saagar Jha)
But, perhaps, there is solace in the fact that this is basically all of computer security. We just shift around the calculus of which things are profitable to do as we steadily raise the bar everywhere. We can’t stop everything, but maybe it’s for the best that was a backdoor…
Saagar Jha
(replying to Saagar Jha)
…because, I mean, the thing we usually see is people getting hacked because their code is just broken, not backdoored. So maybe we’ve finally reached the point where the code was just functional enough to make trying this attractive. One can hope, at least
Saagar Jha
(replying to Saagar Jha)
*Or maybe not, which is the other thing I am a little hopeful about. The steps needed to find this were quite impressive but absent of any other information about backdoors, in particular the ones that actually stay hidden, this got discovered pretty quickly relatively speaking
Saagar Jha
(replying to Saagar Jha)
So like, statistically, it might be that making a backdoor that is actually undetectable for a while is really difficult. “Many eyes make all bugs shallow” and whatnot, except in a kind of different Bayesian version that nobody really likes but is a little reassuring
Saagar Jha
(replying to Saagar Jha)
An extreme case of Hyrum’s Law I guess, where people will accidentally and unknowingly become dependent on their code not being backdoored
