Неправильный режим или состояние доступа к файлам возникает при использовании функций в fopen или open группа с недопустимыми или несовместимыми режимами доступа к файлам, флагами создания файлов или флагами состояния файлов в качестве аргументов. Например, для open функция, примеры действительных:

Дефект может возникнуть в следующих ситуациях.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Исправление может быть реализовано для любого события в последовательности. Если сведения о результатах не отображают историю событий, можно выполнить обратную трассировку, щелкнув правой кнопкой мыши параметры в исходном коде и просмотреть предыдущие связанные события. См. также раздел Интерпретация результатов поиска ошибок в интерфейсе пользователя Polyspace Desktop.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к результату или коду, чтобы избежать другой проверки. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.

#include <stdio.h>

void func(void) {
    FILE *file = fopen("data.txt", "rw");
    if(file!=NULL) {
        fputs("new data",file);
        fclose(file);
    }
}

В этом примере режим доступа rw недопустим. Поскольку r указывает, что вы открываете файл для чтения и w указывает, что вы создаете новый файл для записи, два режима доступа несовместимы.

Одной из возможных корректировок является использование режима доступа, соответствующего намерениям.

#include <stdio.h>

void func(void) {
    FILE *file = fopen("data.txt", "w");
    if(file!=NULL) {
        fputs("new data",file);
        fclose(file);
    }
}

Ненадежное приведение указателя функции происходит при приведении указателя функции к другому указателю функции, имеющему другой аргумент или возвращаемый тип.

Этот дефект применяется только в том случае, если для проекта используется язык кода C.

Если поместить указатель функции на другой указатель функции с другим аргументом или возвращаемым типом, а затем использовать последний указатель функции для вызова функции, поведение не будет определено.

Избегайте приведения между двумя указателями функций с несоответствием в аргументах или возвращаемых типах.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к результату или коду, чтобы избежать другой проверки. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.

#include <stdio.h>
#include <math.h>
#include <stdio.h>
#define PI 3.142
 
double Calculate_Sum(int (*fptr)(double))
{
    double  sum = 0.0;
    double  y;
	  
    for (int i = 0;  i <= 100;  i++)
    {
        y = (*fptr)(i*PI/100);
        sum += y;
    }
    return sum / 100;
}
 
int main(void)
{
    double  (*fp)(double);      
    double  sum;
 
    fp = sin;
    sum = Calculate_Sum(fp); 
    /* Defect: fp implicitly cast to int(*) (double) */

    printf("sum(sin): %f\n", sum);
    return 0;
}

Указатель функции fp объявлен как double (*)(double). Однако, передавая его для функционирования Calculate_Sum, fp неявно приводится к int (*)(double).

Одной из возможных корректировок является проверка того, что указатель функции в определении Calculate_Sum имеет тот же аргумент и возвращаемый тип, что и fp. Этот шаг гарантирует, что fp не является неявно приведенным к другому аргументу или возвращаемому типу.

#include <stdio.h>
#include <math.h>
#include <stdio.h>
# define PI 3.142
 
/*Fix: fptr has same argument and return type everywhere*/
double Calculate_Sum(double (*fptr)(double)) 
{
    double  sum = 0.0;
    double y;
	    
    for (int i = 0;  i <= 100;  i++)
    {
        y = (*fptr)(i*PI/100);
        sum += y;
    }
    return sum / 100;
}
 
int main(void)
{
    double  (*fp)(double);      
    double  sum;
 
    
    fp = sin;
    sum = Calculate_Sum(fp);
    printf("sum(sin): %f\n", sum);
 
    return 0;
}

Вызов стандартной функции с неверными аргументами происходит, когда аргументы определенных стандартных функций не соответствуют требованиям для их использования в функциях.

Например, аргументы этих функций могут быть недопустимыми следующими способами.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Исправление может быть реализовано для любого события в последовательности. Если сведения о результатах не отображают историю событий, можно выполнить обратную трассировку, щелкнув правой кнопкой мыши параметры в исходном коде и просмотреть предыдущие связанные события. См. также раздел Интерпретация результатов поиска ошибок в интерфейсе пользователя Polyspace Desktop.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к результату или коду, чтобы избежать другой проверки. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.

#include <string.h>
#include <stdlib.h>

enum {
    SIZE10 = 10,
    SIZE20 = 20
};

int func() {
    char* s = NULL;
    return strnlen(s, SIZE20);
}

В этом примере NULL указатель передается как strnlen аргумент вместо NULL- завершенная строка.

Перед выполнением анализа кода укажите компилятор GNU. Посмотрите Compiler (-compiler).

Пройти а NULL- завершенная строка в качестве первого аргумента strnlen.

#include <string.h>
#include <stdlib.h>

enum {
    SIZE10 = 10,
    SIZE20 = 20
};

int func() {
    char* s = "";
    return strnlen(s, SIZE20);
}

Неподдерживаемые сложные аргументы возникают при вызове этих функций с помощью complex аргумент:

Вызов любой из предыдущих функций с помощью complex аргумент является неопределенным поведением в стандарте C++, что может привести к неожиданным результатам. Потому что некоторые математические функции поддерживают complex аргументы, в то время как функции в предыдущем списке отсутствуют, непредвиденные результаты могут быть трудно отладить. Выполнение некоторых из этих математических операций на complex число может не быть математически звуковым, что указывает на проблему в основной логике кода.

Избегайте вызова предыдущих функций с помощью complex входной аргумент. Для выполнения предыдущих математических операций над комплексным числом определите альтернативные функции, поддерживающие complex аргументы.

#include <complex.h>
#include <tgmath.h>
typedef double complex cDouble;
cDouble Noncompliant (void)
{
    cDouble Z = 2.0 + 4.0 * I;
    cDouble result = log2 (Z); //Noncompliant
    return trunc(result);//Noncompliant
}

В этом примере функция Noncompliant вычисляет базовый два логарифма комплексного числа, усекает результат и возвращает его. Функции log2 и trunc не поддерживают сложный аргумент. Polyspace ® помечает эти операции.

Одной из возможных корректировок является определение альтернативных функций, поддерживающих комплексные числа. Например, пока log2 не поддерживает complex числа, функция log делает. Определение функции complexLog2 который использует log для вычисления базового двух логарифмов комплексного числа. Аналогично, trunc не поддерживает complex числа и математическое правило для усечения комплексного числа не являются хорошо определенными. Определение функции complexTrunc это усекает комплексное число, усекая его действительную и мнимую части по отдельности.

#include <complex.h>
#include <tgmath.h>
typedef double complex cDouble;

cDouble complexLog2(cDouble z) {
    return log (z) / log (2);  // Compliant
}

cDouble complexTrunc(cDouble z){
	return trunc(creal(z)) + I*trunc(cimag(z));  //Compliant
}
 
cDouble Compliant (void)
{
    cDouble Z = 2.0 + 4.0 * I;
    cDouble result = complexLog2 (Z); //Compliant
    return complexTrunc(result);//Compliant
}

Несоответствие объявления функции происходит, когда прототип функции не соответствует ее определению. Если у функции отсутствует прототип в файле, в котором она вызывается, Polyspace выводит свой прототип на основе подписи вызова. Если выведенный прототип не соответствует определению функции, Polyspace поднимает этот дефект. Прототип переменной функции не может быть выведен из вызова ее функции. Если вызвать переменную функцию без указания ее прототипа в том же файле, Polyspace поднимет этот дефект.

При выводе прототипа функции из вызова такой функции Полиспейс делает следующие предположения:

Средство проверки не помечает эту проблему в анализе Polyspace по умолчанию в качестве кода. См. раздел Шашки, деактивированные в Polyspace как анализ кода по умолчанию (Polyspace Bug Finder Access).

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

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

// file1.c
void foo(int iVar){
	//...
}
void bar(float fVar1, float fVar2){
	//...
}
void bar2(float fVar1){
	//...
}
void fubar(const char* str,...){
	//...
}
void foo2(char cVar){
	//...
}
void call_variadic(){
	fubar("String");
}

//file2.c
void bar2(float);
void foo2(int);
void call_funcs(){
	int iTemp;
	float fTemp;
	foo();//Noncompliant
	bar(fTemp,fTemp);//Noncompliant
	fubar("String"); //Noncompliant	
	bar2(iTemp);//Compliant
	foo2(iTemp); //Noncompliant
}

В этом примере функции foo, foo2, bar, bar2, и fubar определены в файле file1.c. Эти функции затем вызываются в файле. file2.c.

Исправление этого дефекта заключается в объявлении полных прототипов для вызываемых функций во всех модулях компиляции. Рекомендуется объединять объявления прототипа функции в файле заголовка, а затем включать их в файлы, в которых вызываются функции. В этом случае устраните отмеченные проблемы, включив такой файл заголовка. prototype.h в file2.c. После объявления правильного прототипа вызов foo() в file2.c вызывает сбой компиляции, поскольку компилятор не может устранить несоответствие между вызовом и объявленным прототипом. Звонить foo с int для устранения ошибки компиляции.

// file1.c
void foo(int iVar){
	//...
}
void bar(float fVar1, float fVar2){
	//...
}
void bar2(float fVar1){
	//...
}
void fubar(const char* str,...){
	//...
}
void foo2(char cVar){
	//...
}
void call_variadic(){
	fubar("String");
}

//prototypes.h
void foo(int iVar);
void bar(float fVar1, float fVar2);
void fubar(const char* str,...);
void bar2(float);
void foo2(char);
void call_variadic(void);
void call_funcs(void);

//file2.c
#include"prototype.h"
void call_funcs(){
	int iTemp;
	float fTemp;
	//foo(); This call results in compile failure
	foo(iTemp);//Compliant
	bar(fTemp,fTemp);//Compliant
	fubar("String"); //Compliant	
	bar2(iTemp);//Compliant
	foo2('a'); //Compliant
}