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