mole-report/pkg-privbind-coRW1

All instances of coRW1 in privbind

Cycle	Objects	Source locations	Source events
PosRW Rfi	optind	test.c:63	R:optind (test.c:63 function parse_cmdline thread 0) W:optind (test.c:63 function parse_cmdline thread 0)
PosRW Rfi	__CPROVER_malloc_object	test.c:165	R:__CPROVER_malloc_object (test.c:165 function main thread 0) W:__CPROVER_malloc_object (test.c:165 function main thread 0)
PosRW Rfi	__CPROVER_next_thread_id	<builtin-library>-pthread_create:33	R:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0) W:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:35 <builtin-library>-close:37	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:35 <builtin-library>-close:37	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-close:38 <builtin-library>-close:35	R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)

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