Документация

Определить необходимость расширения средства проверки

Если вы идентифицируете средство поиска ошибок, которое применяется к стандартной библиотечной функции и может быть расширено на пользовательскую библиотечную функцию, используйте этот метод.

Например, можно определить математическую функцию, которая имеет тот же домен, что и математическая функция стандартной библиотеки. Если Bug Finder проверяет наличие ошибок домена при использовании функции Стандартная библиотека, можно выполнить те же проверки для эквивалентной пользовательской функции.

Предположим, что вы определяете функцию acos32 ожидаются значения в диапазоне [-1,1]. Может потребоваться определить, выходит ли аргумент функции за пределы этого диапазона во время выполнения, например, в этом фрагменте кода:

#include<math.h>
#include<float.h>

double acos32(double);
const int periodicity = 1.0;

int isItPeriodic() {
   return(abs(func(0.5) - func(0.5 + periodicity)) < DBL_MIN);
}

double func(double val) {
  return acos32(val);  
}

Если пользовательская функция не имеет ограниченного домена, но возвращает значения в ограниченном диапазоне, ее можно сопоставить эквивалентной стандартной библиотечной функции (если она существует) для получения более точных результатов на других шашках. Например, можно отобразить функцию cos32 возвращает значения в диапазоне [-1,1] функции стандартной библиотеки cos.

Расширенная проверка

Можно расширить шашки для функций из стандартной библиотеки, сопоставив их с пользовательскими функциями библиотеки. Например, в предыдущем примере можно отобразить функцию acos32 к функции «Стандартная библиотека» acos.

Для выполнения сопоставления:

Шашки, которые можно расширить

Таким образом можно расширить следующие шашки: