TlsPreTcbSize includes size of struct pthread_descr and size of tcb head structure. It lies before the static tls blocks.

Drops common suffixes like _test.cc or -inl.h from filename. For example: >>> _DropCommonSuffixes('foo/foo-inl.h') 'foo/foo' >>> _DropC

File extension (excluding dot) matches a source file extension.

Sets the module's verbosity, and returns the previous setting.

Returns the module's verbosity setting.

empty the queue

Decode Z3's escaped string format (e.g., "\u{1}\u{2}" -> bytes 0x01, 0x02)

Find which registered object contains the given address. Returns true if found; sets out_object_id, out_offset (within object), and out_ptr_label.

Formats the input and propagates the input labels to the output. The output is stored in 'str'. 'size' bounds the number of output bytes. 'format' and

* Returns the size of physical memory (RAM) in bytes. */

Returns the 0-indexed argument that holds the byte count for the named function, or -1 if none is listed. Probes categories size0..size7.

Only fails (returns nullptr) if memory allocation fails

get the set containing x

Useful for traversing the list when there's no contention (e.g. to destroy remaining nodes)

needs to be at least size_offset * size_offset(size_t)

We cannot use glibc's clone wrapper, because it messes with the child task's TLS. It writes the PID and TID of the child task to its thread descriptor

Doesn't set sa_restorer if the caller did not set it, so use with caution (see below).