this post was submitted on 16 Jan 2026
25 points (87.9% liked)
Technology
1356 readers
50 users here now
A tech news sub for communists
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Thanks for the explanation. I don't like this. Lmao.
Haha yeah it's not great. Now that I thought about it some more, I wonder if you could use decompiling to verify that the compiler is doing what it says it does. If you compile a minimal program, and then decompile the assembly, you could see if there are any instructions that shouldn't be there. It wouldn't be trivial, but seems like it is a possible way to check that the compiler isn't injecting something weird.
The compiler can introduce vulnerabilities only on some specific instructions, although it makes it difficult to propagate it further to new compilers.
Good point, verifying a disassembled binary wouldn't exhaustively prove the compiler is safe.