memset
и memcpy
memcpy
Синтаксис:
#include <string.h> void * memcpy ( void * destinationPtr, const void * sourcePtr, size_t num );
Если ваш код использует memcpy
функционируйте, смотрите информацию в этой таблице.
Спецификация | Пример |
---|---|
Polyspace® осуществляет проверку Invalid use of standard library routine функции. Проверка определяет если блок памяти что sourcePtr или destinationPtr точки к больше или равны в размере памяти, присвоенной им через num . | #include <string.h>
typedef struct {
char a;
int b;
} S;
void func(int);
void main() {
S s;
int d;
memcpy(&d, &s, sizeof(S));
} В этом коде Polyspace производит красную ошибку Invalid use of standard library routine потому что:
|
Polyspace не проверяет если память что После использования | #include <string.h> typedef struct { char a; int b; } S; void func(int); void main() { S s, d={'a',1}; int val; val = d.b; // val=1 memcpy(&d, &s, sizeof(S)); val = d.b; // val can have any int value } В этом коде, когда |
Polyspace повышает красную проверку Invalid use of standard library routine, если источник и целевые аргументы накладываются. Перекрывающиеся присвоения запрещаются Стандартом C. | Красная проверка производится для этого присвоения памяти: #include <string.h> int main() { char arr[4]; memcpy (arr, arr + 3, sizeof(int)); } |
memset
Синтаксис:
#include <string.h> void * memset ( void * ptr, int value, size_t num );
Если ваш код использует memset
функционируйте, смотрите информацию в этой таблице.
Спецификация | Пример |
---|---|
Polyspace осуществляет проверку Invalid use of standard library routine функции. Проверка определяет если блок памяти что ptr точки к больше или равны в размере памяти, присвоенной им через num . | #include <string.h>
typedef struct {
char a;
int b;
} S;
void main() {
int val;
memset(&val,0,sizeof(S));
} В этом коде Polyspace производит красную ошибку Invalid use of standard library routine потому что:
|
Если | #include <string.h> typedef struct { char a; int b; } S; void main() { S s; int val; memset(&s,0,sizeof(S)); val=s.b; //val=0 } В этом коде Polyspace полагает что, следуя за использованием |
После использования
| #include <string.h> typedef struct { char a; int b; } S; void main() { S s; int val; memset(&s,1,sizeof(S)); val=s.b; // val can have any int value } В этом коде Polyspace полагает что, следуя за использованием После |