BitVecRegexMatch

Documentation

API Reference

BitVecRegexMatch

Description

Simple regex-style pattern matching for bitvectors. Supports basic patterns: ‘*’ (any sequence), ‘?’ (0 or 1), ‘[01]’ (literal).

Parameters

Name	Direction	Description
`bv`	in	Bitvector to match against
`pattern`	in	Pattern string using regex syntax

Usage example (from documentation)

  bool matches = BitVecRegexMatch(&data, "10*01");  // 10 followed by any bits, then 01

Returns

true if bitvector matches the regex pattern

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1585:

    }
    
    bool BitVecRegexMatch(BitVec *bv, const char *pattern) {
        ValidateBitVec(bv);
        if (!pattern) {

In BitVec.Pattern.Deadend.c:227:

    
    bool test_bitvec_regex_match_null_source(void) {
        WriteFmt("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
        BitVecRegexMatch(NULL, "101");
        return true;

In BitVec.Pattern.Deadend.c:228:

    bool test_bitvec_regex_match_null_source(void) {
        WriteFmt("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
        BitVecRegexMatch(NULL, "101");
        return true;
    }

In BitVec.Pattern.Deadend.c:233:

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

In BitVec.Pattern.Deadend.c:236:

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

In BitVec.Pattern.c:909:

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

In BitVec.Pattern.c:923:

    
        // Test simple substring match
        result = result && BitVecRegexMatch(&source, "101");
        result = result && !BitVecRegexMatch(&source, "111");

In BitVec.Pattern.c:924:

        // Test simple substring match
        result = result && BitVecRegexMatch(&source, "101");
        result = result && !BitVecRegexMatch(&source, "111");
    
        BitVecDeinit(&source);

In BitVec.Pattern.c:1099:

    
    bool test_bitvec_regex_match_null_source(void) {
        WriteFmt("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
        BitVecRegexMatch(NULL, "101");
        return true;

In BitVec.Pattern.c:1100:

    bool test_bitvec_regex_match_null_source(void) {
        WriteFmt("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
        BitVecRegexMatch(NULL, "101");
        return true;
    }

In BitVec.Pattern.c:1105:

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

In BitVec.Pattern.c:1108:

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

In BitVec.Pattern.Simple.c:793:

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

In BitVec.Pattern.Simple.c:807:

    
        // Test simple substring match
        result = result && BitVecRegexMatch(&source, "101");
        result = result && !BitVecRegexMatch(&source, "111");

In BitVec.Pattern.Simple.c:808:

        // Test simple substring match
        result = result && BitVecRegexMatch(&source, "101");
        result = result && !BitVecRegexMatch(&source, "111");
    
        BitVecDeinit(&source);

Last updated on April 20, 2026

BitVecPush BitVecRemove