Comment by unrented7977
8 days ago
> You wouldn't use a C++ compiler binary provided by CCP, right?
Racism aside, one can prove a compiler is correct. It can be shown beyond a shadow of a doubt that a compiler produces correct output for a given input.
Would you use such a piece of software? Or is the boogeyman too scary?
You might want to read "Reflections on Trusting Trust": https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...
> "Racism aside" ...
I'm not sure how an unwillingness to trust the Chinese Communist Party is in any way "racist" exactly. I know lots of Chinese people I'm fairly sure I could trust, but the Chinese Communist Party ain't among 'em. Do you trust them?
Authoritarian communism is not a race.
Just because a compiler binary compiles program A without a backdoor, it does not prove it won't add a backdoor to program B.
One could always, you know, reverse engineer it to find if there's anything off.
You cannot. See the sibling commenter's link to "Reflections on Trusting Trust".
1 reply →