BitVecNot

Function
August 22, 2025

Table of Contents

`BitVecNot`

Description

Perform bitwise NOT operation on a bitvector. Result is stored in the first bitvector.

Parameters

Name	Direction	Description
`result`	out	Bitvector to store result in
`bv`	in	Bitvector operand

Usage example (from documentation)

  BitVecNot(&result, &flags);

Usage example (Cross-references)

In BitVec.c:499:

    }
    
    void BitVecNot(BitVec *result, BitVec *bitvec) {
    ValidateBitVec(result);
    ValidateBitVec(bitvec);

In BitVec.BitWise.c:147:

    // Test BitVecNot function
    bool test_bitvec_not(void) {
    printf("Testing BitVecNot\n");
    
    BitVec bv     = BitVecInit();

In BitVec.BitWise.c:159:

    
    // Perform NOT operation
    BitVecNot(&result, &bv);
    
    // Expected result: 0101 (NOT 1010)

In BitVec.BitWise.c:424:

    // Test NOT on various sizes
    BitVecClear(&bv1);
    BitVecNot(&result_bv, &bv1);
    result = result && (result_bv.length == 0);

In BitVec.BitWise.c:428:

    
    BitVecPush(&bv1, true);
    BitVecNot(&result_bv, &bv1);
    result = result && (BitVecGet(&result_bv, 0) == false);

In BitVec.BitWise.c:521:

    }
    
    BitVecNot(&result, &bv1);
    test_result = test_result && (result.length == 100);

In BitVec.BitWise.c:709:

    
    // Test NOT(NOT(A)) = A
    BitVecNot(&result, &bv1);    // result = NOT(A)
    BitVecNot(&result, &result); // result = NOT(NOT(A))

In BitVec.BitWise.c:710:

    // Test NOT(NOT(A)) = A
    BitVecNot(&result, &bv1);    // result = NOT(A)
    BitVecNot(&result, &result); // result = NOT(NOT(A))
    
    bool double_not = true;

In BitVec.BitWise.c:852:

    
    // Test NOT on large data
    BitVecNot(&result, &bv1);
    test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:984:

    
    // Test NULL operand - should abort
    BitVecNot(&result, NULL);
    
    BitVecDeinit(&result);

In BitVec.BitWise.Simple.c:147:

    // Test BitVecNot function
    bool test_bitvec_not(void) {
    printf("Testing BitVecNot\n");
    
    BitVec bv     = BitVecInit();

In BitVec.BitWise.Simple.c:159:

    
    // Perform NOT operation
    BitVecNot(&result, &bv);
    
    // Expected result: 0101 (NOT 1010)

In BitVec.BitWise.Simple.c:424:

    // Test NOT on various sizes
    BitVecClear(&bv1);
    BitVecNot(&result_bv, &bv1);
    result = result && (result_bv.length == 0);

In BitVec.BitWise.Simple.c:428:

    
    BitVecPush(&bv1, true);
    BitVecNot(&result_bv, &bv1);
    result = result && (BitVecGet(&result_bv, 0) == false);

In BitVec.BitWise.Simple.c:521:

    }
    
    BitVecNot(&result, &bv1);
    test_result = test_result && (result.length == 100);

In BitVec.BitWise.Simple.c:709:

    
    // Test NOT(NOT(A)) = A
    BitVecNot(&result, &bv1);    // result = NOT(A)
    BitVecNot(&result, &result); // result = NOT(NOT(A))

In BitVec.BitWise.Simple.c:710:

    // Test NOT(NOT(A)) = A
    BitVecNot(&result, &bv1);    // result = NOT(A)
    BitVecNot(&result, &result); // result = NOT(NOT(A))
    
    bool double_not = true;

In BitVec.BitWise.Simple.c:852:

    
    // Test NOT on large data
    BitVecNot(&result, &bv1);
    test_result = test_result && (result.length == 1000);

In BitVec.BitWise.Deadend.c:123:

    
    // Test NULL operand - should abort
    BitVecNot(&result, NULL);
    
    BitVecDeinit(&result);

BitVecNot

`BitVecNot`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecEntropy

BitVecAnd

BitVecAlignmentScore