All instances of coRR in tcpser

CycleObjectsSource locationsSource events
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26R:size (src/phone_book.c:25 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26R:size (src/phone_book.c:25 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:24 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:24 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:26 src/phone_book.c:17R:size (src/phone_book.c:17 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:24 src/phone_book.c:26R:size (src/phone_book.c:24 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
PosRR Fre Rfesizesrc/phone_book.c:25 src/phone_book.c:26R:size (src/phone_book.c:25 function pb_add thread 0) R:size (src/phone_book.c:26 function pb_add thread 0) W:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:24 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:26 src/phone_book.c:17W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:17 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:25 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:24 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:24 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)
Rfe PosRR Fresizesrc/phone_book.c:25 src/phone_book.c:26W:size (src/phone_book.c:26 function pb_add thread 0) R:size (src/phone_book.c:25 function pb_add thread 1) R:size (src/phone_book.c:26 function pb_add thread 1)

This document was translated from LATEX by HEVEA.