mole-report/pkg-portmidi-coRW1

All instances of coRW1 in portmidi

Cycle	Objects	Source locations	Source events
Rfi PosRW	__CPROVER_deallocated	pm_linux/pmlinux.c:70	W:__CPROVER_deallocated (pm_linux/pmlinux.c:70 function pm_alloc thread 0) R:__CPROVER_deallocated (pm_linux/pmlinux.c:70 function pm_alloc thread 0)
PosRW Rfi	__CPROVER_malloc_object	pm_linux/pmlinux.c:70	R:__CPROVER_malloc_object (pm_linux/pmlinux.c:70 function pm_alloc thread 0) W:__CPROVER_malloc_object (pm_linux/pmlinux.c:70 function pm_alloc thread 0)
PosRW Rfi	__CPROVER_malloc_size	pm_linux/pmlinux.c:70	R:__CPROVER_malloc_size (pm_linux/pmlinux.c:70 function pm_alloc thread 0) W:__CPROVER_malloc_size (pm_linux/pmlinux.c:70 function pm_alloc thread 0)
PosRW Rfi	__CPROVER_malloc_is_new_array	pm_linux/pmlinux.c:70	R:__CPROVER_malloc_is_new_array (pm_linux/pmlinux.c:70 function pm_alloc thread 0) W:__CPROVER_malloc_is_new_array (pm_linux/pmlinux.c:70 function pm_alloc thread 0)
PosRW Rfi	__CPROVER_deallocated	pm_linux/pmlinux.c:72	R:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0) W:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0)
PosRW Rfi	__CPROVER_deallocated	pm_linux/pmlinux.c:72	R:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0) W:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0)
PosRW Rfi	__CPROVER_deallocated	pm_linux/pmlinux.c:72	R:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0) W:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0)
PosRW Rfi	__CPROVER_deallocated	pm_linux/pmlinux.c:72	R:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0) W:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0)
PosRW Rfi	__CPROVER_deallocated	pm_linux/pmlinux.c:72	R:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0) W:__CPROVER_deallocated (pm_linux/pmlinux.c:72 function pm_free thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	time_started_flag	porttime/ptlinux.c:95 porttime/ptlinux.c:80	R:time_started_flag (porttime/ptlinux.c:80 function Pt_Start thread 0) W:time_started_flag (porttime/ptlinux.c:95 function Pt_Start thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)
PosRW Rfi	pt_callback_proc_id	porttime/ptlinux.c:103	R:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0) W:pt_callback_proc_id (porttime/ptlinux.c:103 function Pt_Stop thread 0)

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