Method hasValueNode

svf-llvm/lib/LLVMModule.cpp:1093–1099

    }
}
bool LLVMModuleSet::hasValueNode(const Value *val)
{
    if (SVFUtil::isa<ConstantPointerNull, UndefValue>(val))
        return true;
    else
        return (valSymMap.find(val) != valSymMap.end());
}

NodeID LLVMModuleSet::getObjectNode(const Value *llvm_value)
{