SPLint - tool for statically checking C programs

SPLint - tool for statically checking C programs

Дата

29 Mar 1999

[исправить]

Заголовок

SPLint - tool for statically checking C programs

Пояснение

Анализатор исходников программ на наличие множества распространенных ошибок, таких как ошибки распределения памяти, неправильное использование переменных, ошибки проверки границ и т.д. Ранее проект назывался LCLint.

Home URL

http://lclint.cs.virginia.edu/ http://www.splint.org/

Флаг

english

Обновление

03 Jun 2003

Стаб. вер.

3.1.1

Раздел

Отладка и оценка кода

Добавить ссылку

Последние заметки

<< Предыдущие 15 записей

- 11.09.2021 Шифрование данных на существующем разделе ext4 без его переформатирования

- 04.08.2021 Прямая отправка заданий на принтер, без использования CUPS и других прослоек

- 19.06.2021 Запуск процесса с совсем-совсем IDLE приоритетом в Linux

- 11.06.2021 Работа с 32- и 64-разрядными chroot на примере Debian

- 13.05.2021 Эксперименты по борьбе с утечками памяти Telegram Desktop

- 01.05.2021 Получаем патчи безопасности для Ubuntu 16.04

- 27.04.2021 Включение DNS-over-HTTPS на системном уровне в KDE neon и Ubuntu

- 26.04.2021 Активация режима гибернации в KDE neon

- 10.04.2021 Резервное копирование с Borg

- 08.04.2021 Отключение учетной записи root в openSUSE Tumbleweed

- 05.04.2021 Активация режима гибернации в openSUSE Tumbleweed

- 28.03.2021 Специфичные особенности удаления элементов массивов в Bash

- 19.01.2021 Запуск macOS в виртуальной машине на базе QEMU/KVM

- 27.12.2020 Создание шифрованных образов виртуальных машин

- 13.12.2020 Использование в Linux дискретной видеокарты AMD Radeon вместе со встроенной Raven Ridge

Следующие 15 записей >>

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру