mole-report/pkg-mutextrace-coRW1

All instances of coRW1 in mutextrace

Cycle	Objects	Source locations	Source events
PosRW Rfi	find_mutex::1::root	store.c:85 store.c:83	R:find_mutex::1::root (store.c:83 function find_mutex thread 0) W:find_mutex::1::root (store.c:85 function find_mutex thread 0)
PosRW Rfi	__CPROVER_malloc_size	store.c:66	R:__CPROVER_malloc_size (store.c:66 function create_mutex thread 0) W:__CPROVER_malloc_size (store.c:66 function create_mutex thread 0)
PosRW Rfi	create_mutex::1::num	store.c:71	R:create_mutex::1::num (store.c:71 function create_mutex thread 0) W:create_mutex::1::num (store.c:71 function create_mutex thread 0)
PosRW Rfi	find_thread::1::root	store.c:27 store.c:29	R:find_thread::1::root (store.c:27 function find_thread thread 0) W:find_thread::1::root (store.c:29 function find_thread thread 0)
PosRW Rfi	__CPROVER_deallocated	store.c:14	R:__CPROVER_deallocated (store.c:14 function create_thread thread 0) W:__CPROVER_deallocated (store.c:14 function create_thread thread 0)
PosRW Rfi	__CPROVER_malloc_size	store.c:14	R:__CPROVER_malloc_size (store.c:14 function create_thread thread 0) W:__CPROVER_malloc_size (store.c:14 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	find_mutex::1::root	store.c:85 store.c:83	R:find_mutex::1::root (store.c:83 function find_mutex thread 0) W:find_mutex::1::root (store.c:85 function find_mutex thread 0)
PosRW Rfi	__CPROVER_malloc_size	store.c:66	R:__CPROVER_malloc_size (store.c:66 function create_mutex thread 0) W:__CPROVER_malloc_size (store.c:66 function create_mutex thread 0)
PosRW Rfi	create_mutex::1::num	store.c:71	R:create_mutex::1::num (store.c:71 function create_mutex thread 0) W:create_mutex::1::num (store.c:71 function create_mutex thread 0)
PosRW Rfi	find_thread::1::root	store.c:27 store.c:29	R:find_thread::1::root (store.c:27 function find_thread thread 0) W:find_thread::1::root (store.c:29 function find_thread thread 0)
PosRW Rfi	__CPROVER_deallocated	store.c:14	R:__CPROVER_deallocated (store.c:14 function create_thread thread 0) W:__CPROVER_deallocated (store.c:14 function create_thread thread 0)
PosRW Rfi	__CPROVER_malloc_size	store.c:14	R:__CPROVER_malloc_size (store.c:14 function create_thread thread 0) W:__CPROVER_malloc_size (store.c:14 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)
PosRW Rfi	create_thread::1::num	store.c:17	R:create_thread::1::num (store.c:17 function create_thread thread 0) W:create_thread::1::num (store.c:17 function create_thread thread 0)

This document was translated from L^AT_EX by H^EV^EA.