Зачем PVS-Studio использует анализ потока данных: по мотивам интересной ошибки в Open Asset Import Library

[datacompboy]

Вроде идея была — «сколько надо байт чтоб добить до 3х», о чем сообщает коммент.
То есть надо что-то типа:
// calculate extra bytes needed to get a multiple of 3
size_t extraBytes = (3 - length % 3) % 3;


[Andrey2008]

Хм. Спасибо. Внёс правки в статью.

[NickSin]

Андрей, а вы можете протестировать SystemC библиотеку от accellera? У нас очень много работы завязано на этой либе и было бы интересно узнать, сколько там ошибок.
Спасибо.

[Andrey2008]

Спс. Возьмём на заметку, но ничего не обещаю.

[Andrey2008]

Бегло посмотрел отчёт. Предупреждений мало и те в основном — это ложные срабатывания. Так что с точки зрения статического анализа, качество кода можно похвалить. Можно, конечно, побурчать про то, что не выполняется проверка указателя после вызова malloc:

items->md->msg_type_data = (char*) malloc(msg_type_len+1);
strcpy( items->md->msg_type_data, msg_type_ );

Но зато зачем-то есть после оператора new:

msg_def_items * items = new msg_def_items;
if ( !items )
  return 0;

И тому подобное. Но это не очень интересно, и в целом из найденного статью написать сложно.