Esempi in C++ (Cpp) per anysize

Esempio n. 1

File: test_envz_merge.c Progetto: AnnotationsForAll/annotationsforall

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());
}

Esempio n. 2

void runSuccess() {
    calloc(1,5);
    calloc(10,7);
    calloc(0,1);
    calloc(INT_MAX,0);
    calloc(anysize(),anysize());
}

Esempio n. 3

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

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);
    }
}

Esempio n. 4

File: test_envz_strip.c Progetto: AnnotationsForAll/annotationsforall

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;
}

Esempio n. 5

File: test_envz_merge.c Progetto: AnnotationsForAll/annotationsforall

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;
}

Esempio n. 6

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

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;
}

Esempio n. 7

void runSuccess() {
    void* test1 = malloc(anysize());
    void* result;
    
    result = malloc(10);
    free(result);
    
    result = malloc(anysize());
    free(result);
    
    free(NULL);
    
    free(test1);
}

Esempio n. 8

void runFailure() {
    size_t len = anysize();
    FILE* file = VALID_FILE;
    if (file != NULL) {
        getline(NULL, &len, file);
    }
}

Esempio n. 9

void runFailure2() {
    size_t len = anysize();
    char* buf = malloc(len);
    
    if (buf != NULL) {
        getline(&buf, &len, NULL);
    }
}

Esempio n. 10

void runFailure1() {
    size_t len = anysize();
    char* buf = malloc(len);
    
    if (buf != NULL) {
        FILE* file = VALID_FILE;
        if (file != NULL) {
            getline(&buf, NULL, file);
        }
    }
}

Esempio n. 11

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;
}

Esempio n. 12

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;
}

Esempio n. 13

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;
}

Esempio n. 14

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;
}

Esempio n. 15

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

void runSuccess() {
    size_t argz_len = anysize();
    char* argz = anyargz(argz_len, anysize());
    argz_delete(&argz, &argz_len, argz);
}

Esempio n. 16

// Double free
void runFailure() {
    void* test1 = malloc(anysize());

    free(test1);
    free(test1);
}

Esempio n. 17

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

void runFailure() {
    argz_delete(NULL, anysize(), NULL);
}

Esempio n. 18

File: test_envz_merge.c Progetto: AnnotationsForAll/annotationsforall

void runFailure2() {
    size_t argz_len = anysize();
    char* argz = anyargz(argz_len, anysize());
    envz_merge(&argz, &argz_len, NULL, NULL, anyint());
}

Esempio n. 19

File: test_envz_strip.c Progetto: AnnotationsForAll/annotationsforall

void runFailure1() {
    char* argz = "s";
    envz_strip(&argz, anysize());
}

Esempio n. 20

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

void runFailure1() {
    char argz[] = "s";
    argz_delete(argz, anysize(), argz);
}

Esempio n. 21

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

void runFailure2() {
    size_t argz_len = anysize();
     char* argz = anyargz(argz_len, anysize());
     argz_delete(&argz, &argz_len, NULL);
}

Esempio n. 22

File: test_envz_remove.c Progetto: AnnotationsForAll/annotationsforall

void runFailure2() {
    size_t argz_len = anysize();
    char* argz = anyargz(argz_len, anysize());
    envz_remove(&argz, &argz_len, NULL);
}

Esempio n. 23

File: test_argz_delete.c Progetto: AnnotationsForAll/annotationsforall

void runFailure3() {
    size_t argz_len = anysize();
     char* argz = anyargz(argz_len, anysize());
     argz_delete(&argz, &argz_len, anystring());
}

Esempio n. 24

void runFailure() {
    mbrlen(NULL, anysize(), anystate());
}

Esempio n. 25

File: test_envz_strip.c Progetto: AnnotationsForAll/annotationsforall

void runSuccess() {
    size_t argz_len = anysize();
    char* argz = anyargz(argz_len, anysize());
    envz_strip(&argz, &argz_len);
}

Esempio n. 26

File: test_envz_merge.c Progetto: AnnotationsForAll/annotationsforall

void runFailure() {
    envz_merge(NULL, anysize(), NULL, anysize(), anyint());
}

Esempio n. 27

void runSuccess() {
    if (!hcreate(anysize())) {return;}

    hsearch(anyentry(), FIND);
    hsearch(anyentry(), ENTER);
}

Esempio n. 28

File: test_envz_merge.c Progetto: AnnotationsForAll/annotationsforall

void runFailure1() {
    char* argz = "s";
    envz_merge(&argz, anysize(), argz, anysize(), anyint());
}

Esempio n. 29

File: test_envz_remove.c Progetto: AnnotationsForAll/annotationsforall

void runFailure1() {
    char* argz = "s";
    envz_remove(&argz, anysize(), anystring());
}

Esempio n. 30

File: test_envz_strip.c Progetto: AnnotationsForAll/annotationsforall

void runFailure() {
    envz_strip(NULL, anysize());
}