C++ (Cpp) anyint примеры использования

Пример #1

void runSuccess() {
    char buf[10];
    pwrite(anyint(), buf, 10, anyoff());
}

Пример #2

void runSuccess() {
    sched_get_priority_max(anyint());
}

Пример #3

void runSuccess() {
    union wait i;
    struct rusage u;
    wait3(&i, anyint(), &u);
}

Пример #4

void runSuccess() {
    mqd_t mq = mq_open(anystring(), anyint());
    struct mq_attr attrs;
    struct mq_attr oattrs;
    mq_setattr(mq, &attrs, &oattrs);
}

Пример #5

void runFailure() {
    sched_getparam(anyint(), NULL);
}

Пример #6

Файл: test_fallocate.c Проект: AnnotationsForAll/annotationsforall

void runSuccess() {
    int fd = VALID_FD;
    if (fd >= 0) {
        fallocate(fd, anyint(), anyint(), anyint());
    }
}

Пример #7

void runSuccess() {
    gsignal(anyint());
}

Пример #8

void runSuccess() {
    getrusage(anyint(), anylimit());
}

Пример #9

Файл: test_encrypt_r.c Проект: AnnotationsForAll/annotationsforall

void runFailure4() {
    struct crypt_data data;
    data.initialized = 0;
    char buf[64];
    encrypt_r(buf, anyint(), &data);
}

Пример #10

void runSuccess1() {
    shmat(anyint(), NULL, anyint());
}

Пример #11

void runSuccess() {
    shmat(anyint(), anyptr(), anyint());
}

Пример #12

void runSuccess() {
    sigblock(anyint());
}

Пример #13

void runSuccess() {
    FILE* file = VALID_FILE;
    if (file != NULL) {
        putw(anyint(), file);
    }
}

Пример #14

void runFailure() {
    putw(anyint(), NULL);
}

Пример #15

void runSuccess() {
    tcgetsid(anyint());
}

Пример #16

void runFailure1() {
    char buf[10];
    mprotect(buf, 20, anyint());
}

Пример #17

void runSuccess() {
    scalblnf(1.0f, 1);
    scalblnf(0.0f, 0);
    scalblnf(-1.0f, -1);
    scalblnf(anyfloat(), anyint());
}

Пример #18

void runSuccess() {
    char buf[10];
    mprotect(buf, 10, anyint());
}

Пример #19

void runSuccess() {
    ttyname(anyint());
}

Пример #20

void runFailure() {
    mprotect(NULL, 10, anyint());
}

Пример #21

void runFailure() {
    mqd_t mq = mq_open(anystring(), anyint());
    struct mq_attr attrs;
    mq_setattr(mq, NULL, &attrs);
}

Пример #22

void runFailure() {
    struct itimerspec t1;
    struct itimerspec t2;
    timerfd_settime(anyint(), anyint(), NULL, &t2);
}

Пример #23

void runSuccess() {
    struct sched_param p;
    sched_getparam(anyint(), &p);
}

Пример #24

void runSuccess1() {
    struct itimerspec t1;
    struct itimerspec t2;
    timerfd_settime(anyint(), anyint(), &t1, NULL);
}

Пример #25

void runSuccess() {
    putpmsg(anyint(), NULL, NULL, anyint(), anyint());
}

Пример #26

void runSuccess() {
    socket(anyint(), anyint(), anyint());
}

Пример #27

void runSuccess2() {
    union wait i;
    struct rusage u;
    wait3(&i, anyint(), NULL);
}

Пример #28

void runSuccess() {
    fchdir(anyint());
}

Пример #29

void runSuccess1() {
    union wait i;
    struct rusage u;
    wait3(NULL, anyint(), &u);
}

Пример #30

void runFailure1() {
    pwrite(anyint(), NULL, 20, anyoff());
}