BitVecStartsWith

Documentation

API Reference

BitVecStartsWith

Description

Check if bitvector starts with the given bit pattern.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to check
`prefix`	in	Pattern to match at the beginning

Usage example (from documentation)

  bool starts = BitVecStartsWith(&flags, &pattern);

Returns

true if bitvector starts with the pattern

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1397:

    // Missing Pattern functions implementation
    
    bool BitVecStartsWith(BitVec *bv, BitVec *prefix) {
        ValidateBitVec(bv);
        ValidateBitVec(prefix);

In BitVec.c:1615:

    
        VecForeachPtrIdx(patterns, pattern, i) {
            if (BitVecStartsWith(bv, pattern)) {
                return i;
            }

In BitVec.Pattern.Deadend.c:153:

    
    bool test_bitvec_starts_with_null_source(void) {
        WriteFmt("Testing BitVecStartsWith(NULL, prefix) - should fatal\n");
        BitVec prefix = BitVecInit();
        BitVecPush(&prefix, true);

In BitVec.Pattern.Deadend.c:156:

        BitVec prefix = BitVecInit();
        BitVecPush(&prefix, true);
        BitVecStartsWith(NULL, &prefix);
        BitVecDeinit(&prefix);
        return true;

In BitVec.Pattern.Deadend.c:162:

    
    bool test_bitvec_starts_with_null_prefix(void) {
        WriteFmt("Testing BitVecStartsWith(source, NULL) - should fatal\n");
        BitVec source = BitVecInit();
        BitVecPush(&source, true);

In BitVec.Pattern.Deadend.c:165:

        BitVec source = BitVecInit();
        BitVecPush(&source, true);
        BitVecStartsWith(&source, NULL);
        BitVecDeinit(&source);
        return true;

In BitVec.Pattern.c:471:

    // BitVecStartsWith tests
    bool test_bitvec_starts_with_basic(void) {
        WriteFmt("Testing BitVecStartsWith basic functionality\n");
    
        BitVec source = BitVecInit();

In BitVec.Pattern.c:490:

        BitVecPush(&prefix, false);
    
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test non-matching prefix: 101

In BitVec.Pattern.c:498:

        BitVecPush(&prefix, true);
    
        result = result && !BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

In BitVec.Pattern.c:506:

    
    bool test_bitvec_starts_with_edge_cases(void) {
        WriteFmt("Testing BitVecStartsWith edge cases\n");
    
        BitVec source = BitVecInit();

In BitVec.Pattern.c:514:

        // Test empty prefix (should always match)
        BitVecPush(&source, true);
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test prefix longer than source

In BitVec.Pattern.c:520:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && !BitVecStartsWith(&source, &prefix);
    
        // Test equal length

In BitVec.Pattern.c:529:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

In BitVec.Pattern.c:1025:

    
    bool test_bitvec_starts_with_null_source(void) {
        WriteFmt("Testing BitVecStartsWith(NULL, prefix) - should fatal\n");
        BitVec prefix = BitVecInit();
        BitVecPush(&prefix, true);

In BitVec.Pattern.c:1028:

        BitVec prefix = BitVecInit();
        BitVecPush(&prefix, true);
        BitVecStartsWith(NULL, &prefix);
        BitVecDeinit(&prefix);
        return true;

In BitVec.Pattern.c:1034:

    
    bool test_bitvec_starts_with_null_prefix(void) {
        WriteFmt("Testing BitVecStartsWith(source, NULL) - should fatal\n");
        BitVec source = BitVecInit();
        BitVecPush(&source, true);

In BitVec.Pattern.c:1037:

        BitVec source = BitVecInit();
        BitVecPush(&source, true);
        BitVecStartsWith(&source, NULL);
        BitVecDeinit(&source);
        return true;

In BitVec.Pattern.Simple.c:355:

    // BitVecStartsWith tests
    bool test_bitvec_starts_with_basic(void) {
        WriteFmt("Testing BitVecStartsWith basic functionality\n");
    
        BitVec source = BitVecInit();

In BitVec.Pattern.Simple.c:374:

        BitVecPush(&prefix, false);
    
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test non-matching prefix: 101

In BitVec.Pattern.Simple.c:382:

        BitVecPush(&prefix, true);
    
        result = result && !BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

In BitVec.Pattern.Simple.c:390:

    
    bool test_bitvec_starts_with_edge_cases(void) {
        WriteFmt("Testing BitVecStartsWith edge cases\n");
    
        BitVec source = BitVecInit();

In BitVec.Pattern.Simple.c:398:

        // Test empty prefix (should always match)
        BitVecPush(&source, true);
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test prefix longer than source

In BitVec.Pattern.Simple.c:404:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && !BitVecStartsWith(&source, &prefix);
    
        // Test equal length

In BitVec.Pattern.Simple.c:413:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

Last updated on April 20, 2026

BitVecShrinkToFit BitVecSuffixMatch