| Я последнее время беден. У меня нет ОС, файловой системы и почти нет рантайм линкера. Все что у меня есть это сырой диск и 500 килобайт памяти. При этом я люблю поговорить с пользователем и показать ему картинки. У меня есть 50 килобайт текста и 50 килобайт bmp. При этом я хочу говорить с пользователем на родном ему языке, т.е. локализовываться. Что же делать, как снискать хлеб насущный.
( Read more... ) | comments: 5 comments or Leave a comment   |
| 
А сразу слева от него еще один параноик - Брюс Шнаер.
Рейтинг параноидальности был честно выведен специализированным алгоритмом (tm) | | comments: 2 comments or Leave a comment |
| Простой суровый русский мужик Титус служит в красной армии человечества капитаном взвода космических морских пехотинцев (sic). Тут его боевую баржу отправляют разруливать какую-то пыльную планету и внезапно набежавших туда сотен тысяч орков. Все очень просто и сурово, без лишних понтов. Несем пламенную волю бога-императора в ряды неверных. Молча. Работа у Титуса такая и делает он ее уже лет 200, полон профессионализма.
И располагает к себе Титус с первых минут. Уравновешенный мужчина средних лет, обычной внешности, стриженный под средневековых рыцарей, без лишнего пафоса, немного простоват даже, кому-то покажется скучным. Герой ушедшего времени, выглядящий очень свежо на фоне взамозаменяемой череды метросексуалов и биполярных мачо последнего времени. Он знает свое место, игра то как бы и не про него. Она про солдат императора, их another day in a life.
И как бы вот. Орки зеленые, еретики гнилые, а пиломеч рвет и тех и других с глубоким удовлетворительным басом. Декорации готишные, монументальная архитектура среди разрухи апокалипсиса, сто оттенков серого и черного, разкрашенных эффектами и кровью. Суровые техно-рыцари братства стали в повер арморе. Джамп-пак. И очень однообразный геймплей. | | comments: 5 comments or Leave a comment |
| Хотите фокус? Если у вас есть мак и в вашем пароле есть гласные, то вместо этой гласной введите ее умляут. Например 'ü' вместо 'u'. Чтобы ввести умляут сначала нажмите option + u (это называется дед чар), а затем гласную которая и будет с двумя точками. Так вот вместо одной из гласных в пароле введите умляут. Пароль пройдет. Как так он пройдет если символ другой? А вот так. В нормальном текстовом поле, которое не секурное, не печатает точки вместо реальных символов, гласная и гласная с точками это два разных символа. А вот в секурном они одинаковы. Оказалось секурное текстовое поле просто не понимает дед чаров и вставляет туда только то что после дед чара, т.е. просто 'u'.
А я сижу и думаю, почему контейнер с умляутами в пароле пришедший с винды не открывается, жалуется на неправильный пароль. А просто в маке _нельзя_ (!) ввести умляут в поле с паролем. И вообще любой другой символ через дед чар.
http://lists.apple.com/archives/student-dev/2006/Apr/msg00052.html
В других новостях, я успешно сделал фичу, которая шифрует введенные с клавиатуры символы от ядра то приложения. От кейлоггеров так спасаемся. Тестируя ее на всяком извращении я и узнал про этот бардак. | | comments: Leave a comment |
| Я писал сегодня драйвер клавиатурного анти-перехватчика. Нужно было в ядре поменять пару указателей на функции. В ядре С++ и эти указатели в protected секции. Внезапно решение:
// "Unencapsulate" protected fields in IOHIKeyboard
#define protected public
#include "IOKit/hidsystem/IOHIKeyboard.h"
#undef protected
| | comments: 12 comments or Leave a comment |
| А что у нас нынче по верификации контрактов для plain c? Если ничего, то вопрос к знатокам компиляторов: насколько возможно это реализовать для С через компилятор со следующими требованиями:
1) Функция специфицирует контракт на входные параметры внутри реализации через стороннюю библиотеку (без расширения языка).
2) Компилятор делает проверку на то был ли входной параметр явно проверифицирован через стандартные средства языка не важно откуда данные параметра пришли. Например если у меня есть функция, которая принимает int и я специфицирую контракт на этот int как на >= 0 (опустим щас вопрос с unsigned). Затем где-то сильно раньше я читаю этот параметр из файла и нигде не проверяю что прочитанные данные неотрицательны. Так или иначе этот параметр приходит в функцию и я хочу ошибку компилятора о том, что параметр нигде не был проверен хотябы простым if.
Очевидно бинарный код должен тащить за собой метаданные о контрактах на символ чтобы это работало для верификации контрактов из отдельной библиотеки. Заголовочные файлы не помогут из-за extern. Бинарная совместимость такого кода не проходит для разных компиляторов, но можно вырезать контракты флажком для внешнего билда. Меня интересует теоретическая возможность взять компилятор, написать библиотеку для объявления контрактов и добавить в генерацию промежуточного представления средство верификации как я описал выше. Чисто теоретически насколько это возможно для C99 например.
Основное требование в том, что я не хочу кидать подобие исключений или ассертится. Я хочу статическую верификацию факта проверки параметра на выполнения контракта компилятором во время билда. | | comments: 9 comments or Leave a comment |
| |
![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=91.7){kind=small}
insooo's journal
