ulidtko
06.05.2012 21:14 lunatic asylum
http://en.wikipedia.org/wiki/Reflections...
Ох мне пердак разворотило.
10 comments
recommend
bookmark
subscribe
We need to go deeper.
> However, several practical weaknesses in the Trusting Trustscheme have been suggested. For example, a sufficiently motivated user could painstakingly review the machine code of the untrusted compiler before using it.
лул. Представил себя читающим бинари gcc, смешно стало.
Вот только, блджад, никто не шутит на самом деле...
да нормально, чо. Безопасность, элементарные представления о ней.
Всё правильно, нас наёбывают.
неет, неееееееееееет!111
ну блджад, я читал дизассемблированные хеллоуворлды, скомпиленные gcc. Ничего подозрительного там не было.
Wait... но ведь дизассемблер был тоже из гнутых binutils, FUCK
А что насчёт шланга?
точняк, надо провести вот тот тест Уиллера, "diverse double-compiling". Собрать gcc шлангом, потом gcc в той же конфигурации самим же gcc, и сравнить.
Бля, проблема в том, что шланг сам собой не бутстрапится вроде, ему gcc при сборке нужен. То есть как бы все равно зашквар.
может CompCert тогда?
хорошая идея для фильма
А если бекдор в Coq, собранном неверифицированным компилятором? :)