Полностью с вами согласен и, жертвуя своей и так малой кармой, предупреждаю всех:
Никаких тульп, ОСов, астрологии, магии и прочей фигни нет. А есть бесы, которые всегда рады под любым из этих видов «помочь» человеку. Посмотрите на пример из топика, разве разумно поступил тот тульповод, что ушел из дома?
Даже если вы не верите ни в Бога, ни в сатану, то подойдите с позиций разума. Разве достойно нормальному человеку заниматься такой фигней? Будьте честны с собой. Какие желания руководят вами, если вы подумываете о заведении тульпы?
Короче говоря, прошу вас всех держаться подальше от этой дряни. Без шуток.
Процесс перевода в IR из, например, C++ работает очень хорошо — компилятор clang именно это и делает. А вон трансляция IR в С уже проблематична, т.к. C backend уже давно никто не трогал. Однако, если допилить его до адекватного состояния, то он будет прекрасно работать.
Насчет STL и Boost — не понял вопроса.
К нам в универ приезжали мужики из ФСБ, провели собеседование, раздали задания более-менее способным. Тем, кто задание решил — звонили и предлагали работу.
>да, давайте не будем соблюдать правила оформления кода, ведь это тоже трудоёмко. Давайте вообще каждый себе нафоркает линуксов и будет писать что хочет.
Хехе, а оно так и есть.
Да, в общем случае это долго, есть программы, где KLEE неприменима, но есть и куча хитрых аспектов и ньюансов. Например, иногда можно доказать, что такой-то путь ни на что не влияет, или что два пути равносильны по ограничениям и их можно объединить в один.
Ну и все зависит от самой программы — на ее входе может быть строка с бесконечной длиной, а в коде проверяется только 3 символ этой строки. В таком случае KLEE не будет работать бесконечно, а сразу закончит, т.к. здесь только 2 разных пути.
Находить все возможные пути в программе и искать баги. Ну это изначальное применение.
А нынче умельцы приспособили ее для разных вещей:
1. Автоматическая генерация эксплоитов для найденных ошибок.
2. Сравнение двух реализаций одной функции.
3. Валидация данных, присланных игровым клиентом серверу.
>Вообще этот приём мог быть языковой конструкцией, но таковой конструкции ни в одном ЯП не встречал.
Haskell typeclasses, вроде бы, как раз эта самая конструкция.
Выражение «hacking on code» очень часто используется в почтовых рассылках многих проектов, это никак не связано с взломом чего-нибудь.
По-русски это бы звучало «пилить», наверное.
Все он правильно намекнул, «асимметричный» пишется с одной «с» и двумя «м».
Хорошо, что призы за безграмотность не дают, а то на всех просто бы нехватило.
Полностью с вами согласен и, жертвуя своей и так малой кармой, предупреждаю всех:
Никаких тульп, ОСов, астрологии, магии и прочей фигни нет. А есть бесы, которые всегда рады под любым из этих видов «помочь» человеку. Посмотрите на пример из топика, разве разумно поступил тот тульповод, что ушел из дома?
Даже если вы не верите ни в Бога, ни в сатану, то подойдите с позиций разума. Разве достойно нормальному человеку заниматься такой фигней? Будьте честны с собой. Какие желания руководят вами, если вы подумываете о заведении тульпы?
Короче говоря, прошу вас всех держаться подальше от этой дряни. Без шуток.
Насчет STL и Boost — не понял вопроса.
Хехе, а оно так и есть.
Еще бы, где это видано, чтобы ядро реализовывало поддержку юзермодных приложений?
Ну и все зависит от самой программы — на ее входе может быть строка с бесконечной длиной, а в коде проверяется только 3 символ этой строки. В таком случае KLEE не будет работать бесконечно, а сразу закончит, т.к. здесь только 2 разных пути.
А нынче умельцы приспособили ее для разных вещей:
1. Автоматическая генерация эксплоитов для найденных ошибок.
2. Сравнение двух реализаций одной функции.
3. Валидация данных, присланных игровым клиентом серверу.
Почитайте их сайт, раздел публикации.
Haskell typeclasses, вроде бы, как раз эта самая конструкция.
По-русски это бы звучало «пилить», наверное.
Хорошо, что призы за безграмотность не дают, а то на всех просто бы нехватило.
Никогда не делал. Ни при сборке ядра, ни при сборке мира. Я не прав?