LibRaw, Coverity SCAN, PVS-Studio
3 мин
Прочитал заметку о проверке маленького проекта LibRaw с помощью Coverity SCAN. Из статьи следует, что ничего интересного не нашлось. Решил попробовать, сможет ли найти что-то анализатор PVS-Studio.

Типизированный язык программирования

Обмен сообщениями достаточно фундаментальная вещь в науке Computer Science. Будем рассматривать её в приближении к событийно-ориентированному программированию (event-driven). Терминология, возможности и реализации могут отличаться: события (events), сообщения (messages), сигналы/слоты (signals/slots) и callbacks. В целом суть, что с приходом события запускается ответная реакция.StringMessage* str_message = ...;
send(my_message);
...
void handle_message(const Message* message) {
assert(message);
const StringMessage* str_message = dynamic_cast<const StringMessage*>(message);
assert(str_message);
std::cout << str_message->message ...
}
void handle_message(const StringMessage& message) {
...
}

template <class T>
bool someFunc(T t)
{
if (t.someCheck()) {
t.someAction(0);
}
}
std::multiset<int> set0, set1;
for (auto it = set0.begin(); it != set0.end(); ++it) {
// длинная
// обработка
// *it
}
for (auto it = set1.rbegin(); it != set1.rend(); ++it) {
// длинная
// обработка
// *it
}


#include ".//.//.//.//jeh.cpp"
#include "jeh.cpp"
`

Source SDK — набор утилит для создания модификаций на движке Source, разработанный корпорацией Valve. Исходные коды проекта были скачаны и проверены ещё в конце 2013 года. На новогодних праздниках я планировал написать статью о результатах проверок. Но лень победила творчество, и я приступил к написанию статьи только когда вернулся на работу. Впрочем, я думаю, вряд ли за этот период что-то успело измениться в исходных кодах. Предлагаю вашему вниманию ознакомиться с подозрительными местами, которые я нашёл с помощью анализатора кода PVS-Studio.