mole-report/pkg-sndfile-tools-coWW

All instances of coWW in sndfile-tools

Cycle	Objects	Source locations	Source events
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	outs	src/sndfile-jackplay.c:213	W:outs (src/sndfile-jackplay.c:213 function main thread 0) W:outs (src/sndfile-jackplay.c:213 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
Wsi PosWW	output_port	src/sndfile-jackplay.c:212	W:output_port (src/sndfile-jackplay.c:212 function main thread 0) W:output_port (src/sndfile-jackplay.c:212 function main thread 0)
PosWW Wsi	__CPROVER_malloc_is_new_array	src/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213	W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWW Wsi	__CPROVER_malloc_is_new_array	src/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213	W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)
PosWW Wsi	__CPROVER_malloc_is_new_array	src/sndfile-jackplay.c:212 src/sndfile-jackplay.c:213	W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:213 function main thread 0)

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