angr.procedures.posix.pthread

class angr.procedures.posix.pthread.pthread_create

Bases: SimProcedure

Simulates the new thread as an equally viable branch of symbolic execution.

ADDS_EXITS = True

terminate_thread(thread, attr, start_routine, arg)

class angr.procedures.posix.pthread.pthread_cond_signal

Bases: SimProcedure

A no-op.

class angr.procedures.posix.pthread.pthread_mutex_lock

Bases: SimProcedure

Always returns 0 (SUCCESS).

class angr.procedures.posix.pthread.pthread_mutex_unlock

Bases: SimProcedure

Always returns 0 (SUCCESS).

class angr.procedures.posix.pthread.pthread_once

Bases: SimProcedure

retsite(control, func)