BitVecAll
- Function
- August 22, 2025
Table of Contents
BitVecAll
BitVecAllDescription
Check if all bits in bitvector match the given value.
Parameters
| Name | Direction | Description |
|---|---|---|
bv | in | Bitvector to check |
value | in | Value to check against (true or false) |
Usage example (from documentation)
bool all_set = BitVecAll(&flags, true);
Usage example (Cross-references)
- In
BitVec.c:1007:
}
bool BitVecAll(BitVec *bv, bool value) {
ValidateBitVec(bv);
BitVecPush(&bv, true);
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
BitVecPush(&bv, false);
}
result = result && !BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
}
result = result && !BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
BitVecPush(&bv, true);
result = result && !BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
// Test empty bitvector - all predicates should return true for empty set
result = result && BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
// Test empty bitvector - all predicates should return true for empty set
result = result && BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
// Test single element bitvector
BitVecPush(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
BitVecPush(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
BitVecPush(&bv, true); // All true
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
// Change one bit to false
// Change one bit to false
BitVecSet(&bv, 500, false);
result = result && !BitVecAll(&bv, true);
result = result && BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
// This should cause LOG_FATAL and terminate the program
BitVecAll(NULL, true);
return true; // Should never reach here
// Test BitVecAll, BitVecAny, BitVecNone functions
bool test_bitvec_predicate_functions(void) {
printf("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
BitVec bv = BitVecInit();
BitVecPush(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
BitVecPush(&bv, false);
result = result && !BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
result = result && !BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
BitVecPush(&bv, true);
result = result && !BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
// Test empty bitvector - all predicates should return true for empty set
result = result && BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
// Test empty bitvector - all predicates should return true for empty set
result = result && BitVecAll(&bv, true);
result = result && BitVecAll(&bv, false);
result = result && !BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
// Test single element bitvector
BitVecPush(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
BitVecPush(&bv, true);
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
result = result && BitVecAny(&bv, true);
result = result && !BitVecAny(&bv, false);
BitVecPush(&bv, true); // All true
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
}
result = result && BitVecAll(&bv, true);
result = result && !BitVecAll(&bv, false);
// Change one bit to false
// Change one bit to false
BitVecSet(&bv, 500, false);
result = result && !BitVecAll(&bv, true);
result = result && BitVecAny(&bv, true);
result = result && BitVecAny(&bv, false);
// This should cause LOG_FATAL and terminate the program
BitVecAll(NULL, true);
return true; // Should never reach here