mole-report/pkg-miredo-coRW1

All instances of coRW1 in miredo

Cycle	Objects	Source locations	Source events
PosRW Rfi	raw_users	libteredo/server.c:636	R:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0) W:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0)
PosRW Rfi	raw_users	libteredo/server.c:636	R:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0) W:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0)
PosRW Rfi	raw_users	libteredo/server.c:636	R:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0) W:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499 libteredo/server.c:493	R:raw_users (libteredo/server.c:493 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_create thread 0)
PosRW Rfi	raw_users	libteredo/server.c:499	R:raw_users (libteredo/server.c:499 function teredo_server_create thread 0) W:raw_users (libteredo/server.c:499 function teredo_server_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_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	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:109 clock.c:92	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:109 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:109 clock.c:92	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:109 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:109 clock.c:92	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:109 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:109 clock.c:92	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:109 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:92 clock.c:105	R:teredo_clock::1::priv (clock.c:92 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:105 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::priv	clock.c:109 clock.c:108	R:teredo_clock::1::priv (clock.c:108 function teredo_clock thread 0) W:teredo_clock::1::priv (clock.c:109 function teredo_clock thread 0)
PosRW Rfi	teredo_clock::1::clk	clock.c:112 clock.c:117	R:teredo_clock::1::clk (clock.c:112 function teredo_clock thread 0) W:teredo_clock::1::clk (clock.c:117 function teredo_clock thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:393 src/main.c:394	R:optind (src/main.c:393 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205 src/checkconf.c:204	R:optind (src/checkconf.c:204 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	optind	src/checkconf.c:205	R:optind (src/checkconf.c:205 function main thread 0) W:optind (src/checkconf.c:205 function main thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:755	R:__CPROVER_deallocated (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_deallocated (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:755	R:__CPROVER_malloc_object (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_object (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:755	R:__CPROVER_malloc_size (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_size (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	src/binreloc.c:755	R:__CPROVER_malloc_is_new_array (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_is_new_array (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:755	R:__CPROVER_deallocated (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_deallocated (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:755	R:__CPROVER_malloc_size (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_size (src/binreloc.c:755 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:722	R:__CPROVER_deallocated (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_deallocated (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:722	R:__CPROVER_malloc_object (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_malloc_object (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:722	R:__CPROVER_malloc_size (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_malloc_size (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	src/binreloc.c:722	R:__CPROVER_malloc_is_new_array (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_malloc_is_new_array (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:722	R:__CPROVER_deallocated (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_deallocated (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:722	R:__CPROVER_malloc_object (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_malloc_object (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:722	R:__CPROVER_malloc_size (src/binreloc.c:722 function br_strndup thread 0) W:__CPROVER_malloc_size (src/binreloc.c:722 function br_strndup thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:726	R:__CPROVER_deallocated (src/binreloc.c:726 function br_strndup thread 0) W:__CPROVER_deallocated (src/binreloc.c:726 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:726	R:__CPROVER_malloc_object (src/binreloc.c:726 function br_strndup thread 0) W:__CPROVER_malloc_object (src/binreloc.c:726 function br_strndup thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:726	R:__CPROVER_malloc_size (src/binreloc.c:726 function br_strndup thread 0) W:__CPROVER_malloc_size (src/binreloc.c:726 function br_strndup thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:761	R:__CPROVER_memory_leak (src/binreloc.c:761 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_memory_leak (src/binreloc.c:761 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:762	R:__CPROVER_deallocated (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_deallocated (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:762	R:__CPROVER_malloc_object (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_object (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:762	R:__CPROVER_malloc_size (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_size (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	src/binreloc.c:762	R:__CPROVER_malloc_is_new_array (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_is_new_array (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:762	R:__CPROVER_deallocated (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_deallocated (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_object	src/binreloc.c:762	R:__CPROVER_malloc_object (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_object (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:762	R:__CPROVER_malloc_size (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_size (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	src/binreloc.c:762	R:__CPROVER_malloc_is_new_array (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0) W:__CPROVER_malloc_is_new_array (src/binreloc.c:762 function Pryt4897810065911_br_dirname thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:419	R:__CPROVER_deallocated (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0) W:__CPROVER_deallocated (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:419	R:__CPROVER_deallocated (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0) W:__CPROVER_deallocated (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:419	R:__CPROVER_memory_leak (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0) W:__CPROVER_memory_leak (src/binreloc.c:419 function Pryt4897810065911_br_find_prefix thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:680	R:__CPROVER_deallocated (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0) W:__CPROVER_deallocated (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0)
PosRW Rfi	__CPROVER_malloc_size	src/binreloc.c:680	R:__CPROVER_malloc_size (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0) W:__CPROVER_malloc_size (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	src/binreloc.c:680	R:__CPROVER_malloc_is_new_array (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0) W:__CPROVER_malloc_is_new_array (src/binreloc.c:680 function Pryt4897810065911_br_strcat thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:705	R:__CPROVER_memory_leak (src/binreloc.c:705 function Pryt4897810065911_br_build_path thread 0) W:__CPROVER_memory_leak (src/binreloc.c:705 function Pryt4897810065911_br_build_path thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:519	R:__CPROVER_deallocated (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:519	R:__CPROVER_deallocated (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:519	R:__CPROVER_memory_leak (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0) W:__CPROVER_memory_leak (src/binreloc.c:519 function Pryt4897810065911_br_find_data_dir thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:552	R:__CPROVER_deallocated (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:552	R:__CPROVER_deallocated (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:552	R:__CPROVER_memory_leak (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0) W:__CPROVER_memory_leak (src/binreloc.c:552 function Pryt4897810065911_br_find_locale_dir thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/main.c:318	R:__CPROVER_memory_leak (src/main.c:318 function init_locale thread 0) W:__CPROVER_memory_leak (src/main.c:318 function init_locale thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	optind	src/main.c:394	R:optind (src/main.c:394 function miredo_main thread 0) W:optind (src/main.c:394 function miredo_main thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:651	R:__CPROVER_deallocated (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0)
PosRW Rfi	__CPROVER_deallocated	src/binreloc.c:651	R:__CPROVER_deallocated (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0) W:__CPROVER_deallocated (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/binreloc.c:651	R:__CPROVER_memory_leak (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0) W:__CPROVER_memory_leak (src/binreloc.c:651 function Pryt4897810065911_br_find_etc_dir thread 0)
PosRW Rfi	__CPROVER_memory_leak	src/main.c:421	R:__CPROVER_memory_leak (src/main.c:421 function miredo_main thread 0) W:__CPROVER_memory_leak (src/main.c:421 function miredo_main 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>-write:43 <builtin-library>-write:48	R:__CPROVER_pipes (<builtin-library>-write:43 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0)
PosRW Rfi	__CPROVER_pipes	<builtin-library>-write:48	R:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:67	R:__CPROVER_deallocated (conf.c:67 function miredo_conf_create thread 0) W:__CPROVER_deallocated (conf.c:67 function miredo_conf_create thread 0)
PosRW Rfi	__CPROVER_malloc_object	conf.c:67	R:__CPROVER_malloc_object (conf.c:67 function miredo_conf_create thread 0) W:__CPROVER_malloc_object (conf.c:67 function miredo_conf_create thread 0)
PosRW Rfi	__CPROVER_malloc_size	conf.c:67	R:__CPROVER_malloc_size (conf.c:67 function miredo_conf_create thread 0) W:__CPROVER_malloc_size (conf.c:67 function miredo_conf_create thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:290	R:__CPROVER_deallocated (conf.c:290 function miredo_conf_read_file thread 0) W:__CPROVER_deallocated (conf.c:290 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_malloc_object	conf.c:290	R:__CPROVER_malloc_object (conf.c:290 function miredo_conf_read_file thread 0) W:__CPROVER_malloc_object (conf.c:290 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_malloc_size	conf.c:290	R:__CPROVER_malloc_size (conf.c:290 function miredo_conf_read_file thread 0) W:__CPROVER_malloc_size (conf.c:290 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	conf.c:290	R:__CPROVER_malloc_is_new_array (conf.c:290 function miredo_conf_read_file thread 0) W:__CPROVER_malloc_is_new_array (conf.c:290 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_malloc_object	conf.c:165	R:__CPROVER_malloc_object (conf.c:165 function miredo_conf_set thread 0) W:__CPROVER_malloc_object (conf.c:165 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_malloc_size	conf.c:165	R:__CPROVER_malloc_size (conf.c:165 function miredo_conf_set thread 0) W:__CPROVER_malloc_size (conf.c:165 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	conf.c:165	R:__CPROVER_malloc_is_new_array (conf.c:165 function miredo_conf_set thread 0) W:__CPROVER_malloc_is_new_array (conf.c:165 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:191	R:__CPROVER_deallocated (conf.c:191 function miredo_conf_set thread 0) W:__CPROVER_deallocated (conf.c:191 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:191	R:__CPROVER_deallocated (conf.c:191 function miredo_conf_set thread 0) W:__CPROVER_deallocated (conf.c:191 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:191	R:__CPROVER_memory_leak (conf.c:191 function miredo_conf_set thread 0) W:__CPROVER_memory_leak (conf.c:191 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:193	R:__CPROVER_deallocated (conf.c:193 function miredo_conf_set thread 0) W:__CPROVER_deallocated (conf.c:193 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:193	R:__CPROVER_deallocated (conf.c:193 function miredo_conf_set thread 0) W:__CPROVER_deallocated (conf.c:193 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:193	R:__CPROVER_memory_leak (conf.c:193 function miredo_conf_set thread 0) W:__CPROVER_memory_leak (conf.c:193 function miredo_conf_set thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:294	R:__CPROVER_deallocated (conf.c:294 function miredo_conf_read_file thread 0) W:__CPROVER_deallocated (conf.c:294 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:294	R:__CPROVER_deallocated (conf.c:294 function miredo_conf_read_file thread 0) W:__CPROVER_deallocated (conf.c:294 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:294	R:__CPROVER_memory_leak (conf.c:294 function miredo_conf_read_file thread 0) W:__CPROVER_memory_leak (conf.c:294 function miredo_conf_read_file thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:222	R:__CPROVER_deallocated (conf.c:222 function miredo_conf_get thread 0) W:__CPROVER_deallocated (conf.c:222 function miredo_conf_get thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:222	R:__CPROVER_deallocated (conf.c:222 function miredo_conf_get thread 0) W:__CPROVER_deallocated (conf.c:222 function miredo_conf_get thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:222	R:__CPROVER_memory_leak (conf.c:222 function miredo_conf_get thread 0) W:__CPROVER_memory_leak (conf.c:222 function miredo_conf_get thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:223	R:__CPROVER_deallocated (conf.c:223 function miredo_conf_get thread 0) W:__CPROVER_deallocated (conf.c:223 function miredo_conf_get thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:223	R:__CPROVER_deallocated (conf.c:223 function miredo_conf_get thread 0) W:__CPROVER_deallocated (conf.c:223 function miredo_conf_get thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:561	R:__CPROVER_deallocated (conf.c:561 function miredo_conf_parse_syslog_facility thread 0) W:__CPROVER_deallocated (conf.c:561 function miredo_conf_parse_syslog_facility thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:561	R:__CPROVER_deallocated (conf.c:561 function miredo_conf_parse_syslog_facility thread 0) W:__CPROVER_deallocated (conf.c:561 function miredo_conf_parse_syslog_facility thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:561	R:__CPROVER_memory_leak (conf.c:561 function miredo_conf_parse_syslog_facility thread 0) W:__CPROVER_memory_leak (conf.c:561 function miredo_conf_parse_syslog_facility thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:568	R:__CPROVER_memory_leak (conf.c:568 function miredo_conf_parse_syslog_facility thread 0) W:__CPROVER_memory_leak (conf.c:568 function miredo_conf_parse_syslog_facility thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:144	R:__CPROVER_deallocated (conf.c:144 function miredo_conf_clear thread 0) W:__CPROVER_deallocated (conf.c:144 function miredo_conf_clear thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:144	R:__CPROVER_deallocated (conf.c:144 function miredo_conf_clear thread 0) W:__CPROVER_deallocated (conf.c:144 function miredo_conf_clear thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:144	R:__CPROVER_memory_leak (conf.c:144 function miredo_conf_clear thread 0) W:__CPROVER_memory_leak (conf.c:144 function miredo_conf_clear thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:145	R:__CPROVER_memory_leak (conf.c:145 function miredo_conf_clear thread 0) W:__CPROVER_memory_leak (conf.c:145 function miredo_conf_clear thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:82	R:__CPROVER_memory_leak (conf.c:82 function miredo_conf_destroy thread 0) W:__CPROVER_memory_leak (conf.c:82 function miredo_conf_destroy thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:458	R:__CPROVER_memory_leak (conf.c:458 function miredo_conf_parse_IPv6 thread 0) W:__CPROVER_memory_leak (conf.c:458 function miredo_conf_parse_IPv6 thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:466	R:__CPROVER_deallocated (conf.c:466 function miredo_conf_parse_IPv6 thread 0) W:__CPROVER_deallocated (conf.c:466 function miredo_conf_parse_IPv6 thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:466	R:__CPROVER_deallocated (conf.c:466 function miredo_conf_parse_IPv6 thread 0) W:__CPROVER_deallocated (conf.c:466 function miredo_conf_parse_IPv6 thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:466	R:__CPROVER_memory_leak (conf.c:466 function miredo_conf_parse_IPv6 thread 0) W:__CPROVER_memory_leak (conf.c:466 function miredo_conf_parse_IPv6 thread 0)
PosRW Rfi	raw_mutex	libteredo/server.c:496	R:raw_mutex (libteredo/server.c:496 function teredo_server_create thread 0) W:raw_mutex (libteredo/server.c:496 function teredo_server_create thread 0)
PosRW Rfi	raw_mutex	libteredo/server.c:511	R:raw_mutex (libteredo/server.c:511 function teredo_server_create thread 0) W:raw_mutex (libteredo/server.c:511 function teredo_server_create thread 0)
PosRW Rfi	__CPROVER_deallocated	libteredo/server.c:527	R:__CPROVER_deallocated (libteredo/server.c:527 function teredo_server_create thread 0) W:__CPROVER_deallocated (libteredo/server.c:527 function teredo_server_create thread 0)
PosRW Rfi	__CPROVER_malloc_object	libteredo/server.c:527	R:__CPROVER_malloc_object (libteredo/server.c:527 function teredo_server_create thread 0) W:__CPROVER_malloc_object (libteredo/server.c:527 function teredo_server_create thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	libteredo/server.c:527	R:__CPROVER_malloc_is_new_array (libteredo/server.c:527 function teredo_server_create thread 0) W:__CPROVER_malloc_is_new_array (libteredo/server.c:527 function teredo_server_create thread 0)
PosRW Rfi	__CPROVER_memory_leak	libteredo/server.c:568	R:__CPROVER_memory_leak (libteredo/server.c:568 function teredo_server_create thread 0) W:__CPROVER_memory_leak (libteredo/server.c:568 function teredo_server_create 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_deallocated	libteredo/server.c:633	R:__CPROVER_deallocated (libteredo/server.c:633 function teredo_server_destroy thread 0) W:__CPROVER_deallocated (libteredo/server.c:633 function teredo_server_destroy thread 0)
PosRW Rfi	__CPROVER_deallocated	libteredo/server.c:633	R:__CPROVER_deallocated (libteredo/server.c:633 function teredo_server_destroy thread 0) W:__CPROVER_deallocated (libteredo/server.c:633 function teredo_server_destroy thread 0)
PosRW Rfi	raw_mutex	libteredo/server.c:635	R:raw_mutex (libteredo/server.c:635 function teredo_server_destroy thread 0) W:raw_mutex (libteredo/server.c:635 function teredo_server_destroy thread 0)
PosRW Rfi	raw_mutex	libteredo/server.c:635	R:raw_mutex (libteredo/server.c:635 function teredo_server_destroy thread 0) W:raw_mutex (libteredo/server.c:635 function teredo_server_destroy thread 0)
PosRW Rfi	raw_users	libteredo/server.c:636	R:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0) W:raw_users (libteredo/server.c:636 function teredo_server_destroy thread 0)
PosRW Rfi	raw_mutex	libteredo/server.c:638	R:raw_mutex (libteredo/server.c:638 function teredo_server_destroy thread 0) W:raw_mutex (libteredo/server.c:638 function teredo_server_destroy thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:328	R:__CPROVER_memory_leak (conf.c:328 function miredo_conf_get_int16 thread 0) W:__CPROVER_memory_leak (conf.c:328 function miredo_conf_get_int16 thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:332	R:__CPROVER_memory_leak (conf.c:332 function miredo_conf_get_int16 thread 0) W:__CPROVER_memory_leak (conf.c:332 function miredo_conf_get_int16 thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:427	R:__CPROVER_memory_leak (conf.c:427 function miredo_conf_parse_IPv4 thread 0) W:__CPROVER_memory_leak (conf.c:427 function miredo_conf_parse_IPv4 thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:431	R:__CPROVER_deallocated (conf.c:431 function miredo_conf_parse_IPv4 thread 0) W:__CPROVER_deallocated (conf.c:431 function miredo_conf_parse_IPv4 thread 0)
PosRW Rfi	__CPROVER_deallocated	conf.c:431	R:__CPROVER_deallocated (conf.c:431 function miredo_conf_parse_IPv4 thread 0) W:__CPROVER_deallocated (conf.c:431 function miredo_conf_parse_IPv4 thread 0)
PosRW Rfi	__CPROVER_memory_leak	conf.c:431	R:__CPROVER_memory_leak (conf.c:431 function miredo_conf_parse_IPv4 thread 0) W:__CPROVER_memory_leak (conf.c:431 function miredo_conf_parse_IPv4 thread 0)

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