main menu
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
Please select a channel name or return to the main menu
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
(#create)(#null)
(*create?1[d]
(# cell)(#write)(# read)(# mutex)(# nomutex)(# lock)(# unlock)
(cell!2[null] | mutex!3[] | d!4[read,write,lock,unlock] |
*read?5[port]cell?6[u](cell!7[u]|port!8[u])
|*write?9[u,ack]cell?10[v](cell!11[u]|ack!12[])
|*lock?13[ack]mutex?14[](ack!15[]|nomutex!16[])
|*unlock?17[ack]nomutex?18[](ack!19[]|mutex!20[]))
| *rec?21[](#data)(#add1)(#add2)(#trace)(#ack1)(#ack2)(#ack3)
(create!22[add1]add1?23[r,w,m,n]m!24[ack1]ack1?25[]w!26[data,ack2]
ack2?27[]r!28[add2]n!29[ack3]ack3?30[]add2?31[d]trace!32[d]))
main menu - control flow analysis
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(intruder)
*rec?21[]
Start -->
END
main menu - control flow analysis - intruder
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#create)
create!22[add1]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start -->
END
main menu - control flow analysis - (#create)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#create)
*create?1[d]
Start -->
END
Start -->
END
main menu - control flow analysis - (#create)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#null)
cell!7[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start -->
END
main menu - control flow analysis - (#null)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#null)
cell!2[null]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start -->
END
main menu - control flow analysis - (#null)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#null)
trace!32[d]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start -->
END
main menu - control flow analysis - (#null)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#null)
port!8[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start -->
END
main menu - control flow analysis - (#null)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# cell)
cell!2[null]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# cell)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# cell)
cell!7[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22) + 1
(21,0) = (21,0)
(5,28) + 1 = (5,28)
main menu - control flow analysis - (# cell)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# cell)
cell?6[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
(5,28) + 1 = (5,28)
main menu - control flow analysis - (# cell)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# cell)
cell!11[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (9,26)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22) + 1
(21,0) = (21,0)
(9,26) + 1 = (9,26)
main menu - control flow analysis - (# cell)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# cell)
cell?10[v]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (9,26)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
(9,26) + 1 = (9,26)
main menu - control flow analysis - (# cell)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#write)
*write?9[u,ack]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (#write)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#write)
d!4[read,write,lock,unlock]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (#write)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#write)
w!26[data,ack2]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#write)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# read)
*read?5[port]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# read)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# read)
d!4[read,write,lock,unlock]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# read)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# read)
r!28[add2]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (# read)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# mutex)
mutex!3[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# mutex)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# mutex)
mutex!20[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (17,29)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22) + 1
(21,0) = (21,0)
(17,29) + 1 = (17,29)
main menu - control flow analysis - (# mutex)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# mutex)
mutex?14[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (13,24)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
(13,24) + 1 = (13,24)
main menu - control flow analysis - (# mutex)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# nomutex)
nomutex?18[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (17,29)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
(17,29) + 1 = (17,29)
main menu - control flow analysis - (# nomutex)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# nomutex)
nomutex!16[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (13,24)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22) + 1
(21,0) = (21,0)
(13,24) + 1 = (13,24)
main menu - control flow analysis - (# nomutex)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# lock)
m!24[ack1]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
(1,22) = (1,22) + 1
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (# lock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# lock)
*lock?13[ack]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# lock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# lock)
d!4[read,write,lock,unlock]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# lock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# unlock)
*unlock?17[ack]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# unlock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# unlock)
d!4[read,write,lock,unlock]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22)
(21,0) = (21,0)
main menu - control flow analysis - (# unlock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# unlock)
n!29[ack3]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Ext = Ext
(1,22) = (1,22) + 1
(21,0) = (21,0)
main menu - control flow analysis - (# unlock)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#data)
trace!32[d]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#data)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#data)
port!8[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(5,28) + 1 = (5,28)
main menu - control flow analysis - (#data)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#data)
cell!7[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(5,28) + 1 = (5,28)
main menu - control flow analysis - (#data)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#data)
cell!11[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (9,26)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(9,26) + 1 = (9,26)
main menu - control flow analysis - (#data)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#data)
w!26[data,ack2]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#data)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add1)
d!4[read,write,lock,unlock]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (1,22)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(1,22) + 1 = (1,22)
main menu - control flow analysis - (#add1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add1)
add1?23[r,w,m,n]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#add1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add1)
create!22[add1]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#add1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add2)
add2?31[d]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#add2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add2)
port!8[u]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (5,28)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(5,28) + 1 = (5,28)
main menu - control flow analysis - (#add2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#add2)
r!28[add2]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#add2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#trace)
trace!32[d]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#trace)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack1)
m!24[ack1]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack1)
ack!15[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (13,24)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(13,24) + 1 = (13,24)
main menu - control flow analysis - (#ack1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack1)
ack1?25[]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack1)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack2)
ack!12[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (9,26)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(9,26) + 1 = (9,26)
main menu - control flow analysis - (#ack2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack2)
ack2?27[]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack2)
w!26[data,ack2]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack2)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack3)
ack!19[]
Start --> ExtA
A --> ExtA+ (21,0)B
B --> (17,29)C
C -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
(17,29) + 1 = (17,29)
main menu - control flow analysis - (#ack3)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack3)
ack3?30[]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack3)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(#ack3)
n!29[ack3]
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (21,0)B
B -->
END
(21,0) = (21,0)
Ext = Ext
main menu - control flow analysis - (#ack3)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
parsing : 0.s
analysis : 0.08s
displaying: 0.s
main menu
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.