Supported Routines

Linux

tritondse.routines.rtn___fprintf_chk(se: SymbolicExecutor, pstate: ProcessState)

The __fprintf_chk behavior.

tritondse.routines.rtn__setjmp(se: SymbolicExecutor, pstate: ProcessState)

The _setjmp behavior.

tritondse.routines.rtn_abort(se: SymbolicExecutor, pstate: ProcessState)

void abort(void);

Mark the input seed as OK and stop execution.

[Man Page]

tritondse.routines.rtn_assert_fail(se: SymbolicExecutor, pstate: ProcessState)

The __assert_fail behavior.

tritondse.routines.rtn_atexit(se: SymbolicExecutor, pstate: ProcessState)

tritondse.routines.rtn_atoi(se: SymbolicExecutor, pstate: ProcessState)

int atoi(const char *nptr);

Description: The atoi() function converts the initial portion of the string pointed to by nptr to int. The behavior is the same as

Concrete: /

Symbolic: Represent the return value symbolically with 10 nested if to represent the value.

Warning

The function does not support all possibles representation of an integer. It does not support negative integer nor values prefixed by spaces.

[Man Page]

Returns:

Symbolic value of the integer base on the symbolic string nptr

tritondse.routines.rtn_calloc(se: SymbolicExecutor, pstate: ProcessState)

The calloc behavior.

tritondse.routines.rtn_clock_gettime(se: SymbolicExecutor, pstate: ProcessState)

The clock_gettime behavior.

tritondse.routines.rtn_ctype_b_loc(se: SymbolicExecutor, pstate: ProcessState)

The __ctype_b_loc behavior.

tritondse.routines.rtn_ctype_toupper_loc(se: SymbolicExecutor, pstate: ProcessState)

The __ctype_toupper_loc behavior.

tritondse.routines.rtn_errno_location(se: SymbolicExecutor, pstate: ProcessState)

The __errno_location behavior.

tritondse.routines.rtn_exit(se: SymbolicExecutor, pstate: ProcessState)

The exit behavior.

tritondse.routines.rtn_fclose(se: SymbolicExecutor, pstate: ProcessState)

The fclose behavior.

tritondse.routines.rtn_fgets(se: SymbolicExecutor, pstate: ProcessState)

The fgets behavior.

tritondse.routines.rtn_fopen(se: SymbolicExecutor, pstate: ProcessState)

The fopen behavior.

tritondse.routines.rtn_fprintf(se: SymbolicExecutor, pstate: ProcessState)

The fprintf behavior.

tritondse.routines.rtn_fputc(se: SymbolicExecutor, pstate: ProcessState)

The fputc behavior.

tritondse.routines.rtn_fputs(se: SymbolicExecutor, pstate: ProcessState)

The fputs behavior.

tritondse.routines.rtn_fread(se: SymbolicExecutor, pstate: ProcessState)

The fread behavior.

tritondse.routines.rtn_free(se: SymbolicExecutor, pstate: ProcessState)

The free behavior.

tritondse.routines.rtn_fseek(se: SymbolicExecutor, pstate: ProcessState)

The fseek behavior.

tritondse.routines.rtn_ftell(se: SymbolicExecutor, pstate: ProcessState)

The ftell behavior.

tritondse.routines.rtn_fwrite(se: SymbolicExecutor, pstate: ProcessState)

The fwrite behavior.

tritondse.routines.rtn_getchar(se: SymbolicExecutor, pstate: ProcessState)

The getchar behavior.

tritondse.routines.rtn_getenv(se: SymbolicExecutor, pstate: ProcessState)

The getenv behavior.

tritondse.routines.rtn_gettimeofday(se: SymbolicExecutor, pstate: ProcessState)

The gettimeofday behavior.

tritondse.routines.rtn_isspace(se: SymbolicExecutor, pstate: ProcessState)

The isspace behavior.

tritondse.routines.rtn_libc_start_main(se: SymbolicExecutor, pstate: ProcessState)

The __libc_start_main behavior.

tritondse.routines.rtn_longjmp(se: SymbolicExecutor, pstate: ProcessState)

The longjmp behavior.

tritondse.routines.rtn_malloc(se: SymbolicExecutor, pstate: ProcessState)

The malloc behavior.

tritondse.routines.rtn_memcmp(se: SymbolicExecutor, pstate: ProcessState)

The memcmp behavior.

tritondse.routines.rtn_memcpy(se: SymbolicExecutor, pstate: ProcessState)

The memcpy behavior.

tritondse.routines.rtn_memmem(se: SymbolicExecutor, pstate: ProcessState)

The memmem behavior.

tritondse.routines.rtn_memmove(se: SymbolicExecutor, pstate: ProcessState)

The memmove behavior.

tritondse.routines.rtn_mempcpy(se: SymbolicExecutor, pstate: ProcessState)

The mempcpy behavior.

tritondse.routines.rtn_memset(se: SymbolicExecutor, pstate: ProcessState)

The memset behavior.

tritondse.routines.rtn_open(se: SymbolicExecutor, pstate: ProcessState)

The open behavior.

tritondse.routines.rtn_printf(se: SymbolicExecutor, pstate: ProcessState)

The printf behavior.

tritondse.routines.rtn_pthread_create(se: SymbolicExecutor, pstate: ProcessState)

The pthread_create behavior.

tritondse.routines.rtn_pthread_exit(se: SymbolicExecutor, pstate: ProcessState)

The pthread_exit behavior.

tritondse.routines.rtn_pthread_join(se: SymbolicExecutor, pstate: ProcessState)

The pthread_join behavior.

tritondse.routines.rtn_pthread_mutex_destroy(se: SymbolicExecutor, pstate: ProcessState)

The pthread_mutex_destroy behavior.

tritondse.routines.rtn_pthread_mutex_init(se: SymbolicExecutor, pstate: ProcessState)

The pthread_mutex_init behavior.

tritondse.routines.rtn_pthread_mutex_lock(se: SymbolicExecutor, pstate: ProcessState)

The pthread_mutex_lock behavior.

tritondse.routines.rtn_pthread_mutex_unlock(se: SymbolicExecutor, pstate: ProcessState)

The pthread_mutex_unlock behavior.

tritondse.routines.rtn_puts(se: SymbolicExecutor, pstate: ProcessState)

The puts behavior.

tritondse.routines.rtn_rand(se: SymbolicExecutor, pstate: ProcessState)

The rand behavior.

tritondse.routines.rtn_read(se: SymbolicExecutor, pstate: ProcessState)

The read behavior.

tritondse.routines.rtn_realloc(se: SymbolicExecutor, pstate: ProcessState)

The realloc behavior.

tritondse.routines.rtn_sem_destroy(se: SymbolicExecutor, pstate: ProcessState)

The sem_destroy behavior.

tritondse.routines.rtn_sem_getvalue(se: SymbolicExecutor, pstate: ProcessState)

The sem_getvalue behavior.

tritondse.routines.rtn_sem_init(se: SymbolicExecutor, pstate: ProcessState)

The sem_init behavior.

tritondse.routines.rtn_sem_post(se: SymbolicExecutor, pstate: ProcessState)

The sem_post behavior.

tritondse.routines.rtn_sem_timedwait(se: SymbolicExecutor, pstate: ProcessState)

The sem_timedwait behavior.

tritondse.routines.rtn_sem_trywait(se: SymbolicExecutor, pstate: ProcessState)

The sem_trywait behavior.

tritondse.routines.rtn_sem_wait(se: SymbolicExecutor, pstate: ProcessState)

The sem_wait behavior.

tritondse.routines.rtn_setlocale(se: SymbolicExecutor, pstate: ProcessState)

The setlocale behavior.

tritondse.routines.rtn_sleep(se: SymbolicExecutor, pstate: ProcessState)

The sleep behavior.

tritondse.routines.rtn_sprintf(se: SymbolicExecutor, pstate: ProcessState)

The sprintf behavior.

tritondse.routines.rtn_stack_chk_fail(se: SymbolicExecutor, pstate: ProcessState)

The __stack_chk_fail behavior.

tritondse.routines.rtn_strcasecmp(se: SymbolicExecutor, pstate: ProcessState)

The strcasecmp behavior.

tritondse.routines.rtn_strchr(se: SymbolicExecutor, pstate: ProcessState)

The strchr behavior.

tritondse.routines.rtn_strcmp(se: SymbolicExecutor, pstate: ProcessState)

The strcmp behavior.

tritondse.routines.rtn_strcpy(se: SymbolicExecutor, pstate: ProcessState)

The strcpy behavior.

tritondse.routines.rtn_strdup(se: SymbolicExecutor, pstate: ProcessState)

The strdup behavior.

tritondse.routines.rtn_strerror(se: SymbolicExecutor, pstate: ProcessState)

The strerror behavior.

Parameters:

• se – The current symbolic execution instance

• pstate – The current process state

Returns:

a concrete value

tritondse.routines.rtn_strlen(se: SymbolicExecutor, pstate: ProcessState)

The strlen behavior.

tritondse.routines.rtn_strncasecmp(se: SymbolicExecutor, pstate: ProcessState)

The strncasecmp behavior.

tritondse.routines.rtn_strncmp(se: SymbolicExecutor, pstate: ProcessState)

The strncmp behavior.

tritondse.routines.rtn_strncpy(se: SymbolicExecutor, pstate: ProcessState)

The strncpy behavior.

tritondse.routines.rtn_strtok_r(se: SymbolicExecutor, pstate: ProcessState)

The strtok_r behavior.

tritondse.routines.rtn_strtoul(se: SymbolicExecutor, pstate: ProcessState)

The strtoul behavior.

tritondse.routines.rtn_write(se: SymbolicExecutor, pstate: ProcessState)

The write behavior.

tritondse.routines.rtn_xstat(se: SymbolicExecutor, pstate: ProcessState)

The __xstat behavior.

Windows