Две ссылки.

[thesz]

Разработка безопасного кода на C с помощью ATS (зависимые типы). Товарищ - разработчик Мозиллы, рассказывает про ловлю ошибок на основе опыта интеграции нескольких библотек на Си.

И аналоговый профайлер. ;)