.
а как же куча книг по ассемблеру/reverse engineering, где сравнивается код, сгенерированный gcc, и сам исходник?
Size: a a a
2020 July 15
A
gcc содержит баги, compcert — нет
.
Поддержка других платформ
.
Новых системных вызовов
C
бредятина какая-то, я ж говорю
C
Новых системных вызовов
ну так и в gcc так же
C
баги от новых вещей
C
как и везде
.
Тут написано, что тот, кто писал пруфы - дурак и неправильно аксиому определил
C
везде есть баги
C
я уверен, даже в прошивках космических кораблей
C
и в военном оборудовании
A
я уверен, даже в прошивках космических кораблей
Это плохие примеры, потому что их разрабатывает полтора землекопа. Меньше глаз - больше багов.
a
В людях еще бывает
A
В людях еще бывает
Да и космическая радиация может изменять биты в памяти
C
MO
слева вверху?
И еще он битмап попиздил
.
я уверен, даже в прошивках космических кораблей
.
Вчера сокеты скомпилил под compcert.
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
Так, вернёмся к исходному вопросу к знатокам