xref: /dports/security/klee/klee-2.2/runtime/Intrinsic/dso_handle.c

void* __dso_handle = 0;