C++ (Cpp) anyuid示例

示例#1

void testValues() {
    f = 2;
    int result;
    
    result = fchown(anyint(), anyuid(), anygid());
    //@ assert result == 0 || result == -1;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

示例#2

void testValues() {
    f = 2;
    int result;
    
    result = setuid(anyuid());
    //@ assert result == -1 || result == 0;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

示例#3

void runSuccess() {
    setuid(anyuid());
}

示例#4

void runSuccess() {
    fchown(anyint(), anyuid(), anygid());
}