void runSuccess() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); size_t argz2_len = anysize(); char* argz2 = anyargz(argz2_len, anysize()); envz_merge(&argz, &argz_len, argz2, argz2_len, anyint()); }
void runSuccess() { calloc(1,5); calloc(10,7); calloc(0,1); calloc(INT_MAX,0); calloc(anysize(),anysize()); }
void runSuccess1() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); char* elem = argz_next(argz, argz_len, argz); if (elem) { argz_delete(&argz, &argz_len, elem); } }
void testValues() { f = 2; size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_strip(&argz, &argz_len); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); size_t argz2_len = anysize(); char* argz2 = anyargz(argz2_len, anysize()); envz_merge(&argz, &argz_len, argz2, argz2_len, anyint()); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); char* elem = argz_next(argz, argz_len, argz); if (elem) { argz_delete(&argz, &argz_len, elem); } //@ assert f == 2; //@ assert vacuous: \false; }
void runSuccess() { void* test1 = malloc(anysize()); void* result; result = malloc(10); free(result); result = malloc(anysize()); free(result); free(NULL); free(test1); }
void runFailure() { size_t len = anysize(); FILE* file = VALID_FILE; if (file != NULL) { getline(NULL, &len, file); } }
void runFailure2() { size_t len = anysize(); char* buf = malloc(len); if (buf != NULL) { getline(&buf, &len, NULL); } }
void runFailure1() { size_t len = anysize(); char* buf = malloc(len); if (buf != NULL) { FILE* file = VALID_FILE; if (file != NULL) { getline(&buf, NULL, file); } } }
void testValues() { f = 2; ENTRY* result; if (!hcreate(anysize())) {return;} result = hsearch(anyentry(), FIND); //@ assert result == \null || \valid(result); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; void* result; result = malloc(10); free(result); //@ assert result == \null || \allocable(result); result = malloc(anysize()); free(result); //@ assert result == \null || \allocable(result); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; char* result; size_t x,y; result = calloc(10,sizeof(char)); //@ assert result != \null ==> (\valid(result) && clear(result, (size_t)10)); x = anysize(); y = sizeof(char); result = calloc(x,y); //@ assert result != \null ==> (\valid(result+(0..x-1)) && clear(result, (size_t)(x*y))); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; ssize_t result; size_t len = anysize(); char* buf = malloc(len); if (buf != NULL) { FILE* file = VALID_FILE; if (file != NULL) { result = getline(&buf, &len, file); //@ assert result >= -1; } } //@ assert f == 2; //@ assert vacuous: \false; }
void runSuccess() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); argz_delete(&argz, &argz_len, argz); }
// Double free void runFailure() { void* test1 = malloc(anysize()); free(test1); free(test1); }
void runFailure() { argz_delete(NULL, anysize(), NULL); }
void runFailure2() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_merge(&argz, &argz_len, NULL, NULL, anyint()); }
void runFailure1() { char* argz = "s"; envz_strip(&argz, anysize()); }
void runFailure1() { char argz[] = "s"; argz_delete(argz, anysize(), argz); }
void runFailure2() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); argz_delete(&argz, &argz_len, NULL); }
void runFailure2() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_remove(&argz, &argz_len, NULL); }
void runFailure3() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); argz_delete(&argz, &argz_len, anystring()); }
void runFailure() { mbrlen(NULL, anysize(), anystate()); }
void runSuccess() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_strip(&argz, &argz_len); }
void runFailure() { envz_merge(NULL, anysize(), NULL, anysize(), anyint()); }
void runSuccess() { if (!hcreate(anysize())) {return;} hsearch(anyentry(), FIND); hsearch(anyentry(), ENTER); }
void runFailure1() { char* argz = "s"; envz_merge(&argz, anysize(), argz, anysize(), anyint()); }
void runFailure1() { char* argz = "s"; envz_remove(&argz, anysize(), anystring()); }
void runFailure() { envz_strip(NULL, anysize()); }