Matches the string with the pattern, caching the compiled regexp.

Searches the string for the pattern, caching the compiled regexp.

Like Printf, but prints the current PID before the output string.

Marks an instruction as "nosanitize" so TaintPass will skip it

get the number of running threads in the pool

Returns the value if an equal value is found in the table otherwise returns the "empty" element. due to prioritization, can quit early if v is greater

find the root of the set containing x

for internal use only, skip optimization and ubsan checks caller must ensure op is valid, handle commutative conventions

Test-only function. Handles the before/after lock events, returns true if there is a cycle.

Writes at most "length" symbols to "buffer" (including trailing '\0'). Returns the number of symbols that should have been written to buffer (not incl

Handle the unlock event. This operation is thread-safe as it only touches the dtls.

prioritized linear probing a new key will bump an existing key up if it has a higher priority an equal key will replace an old key if replaceQ(new,old

Allocate new deadlock detector node. If we are out of available nodes first try to recycle some. If there is nothing to recycle, flush the graph and i

Inserts key,value pair into the map if the key isn't already in the map. If the key is already in the map, it returns false and doesn't update the val

ucsan_shadow = ((ptr & ShadowMask) << 1) + ShadowBase

Return 1 if the specified key is in the map, 0 otherwise.

Unified method to get string label for null-terminated strings Uses strlen to determine length Also checks if null terminator was placed at a strchr/s

Returns true if the bit has changed from 0 to 1.

Set shadow value for an instruction.

Get shadow value for a given LLVM value. UCSan uses shadows to track pointer aliasing.