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!7[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,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)
cell!11[u]
Start --> ExtA
A --> ExtA+ (9,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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (5,0)B
B -->
END+ (5,8)B
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)
d!4[read,write,lock,unlock]
Start --> (1,34)A
A -->
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)
create!34[d]
Start -->
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+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (5,28)G
C --> (21,12)B
D -->
END+ (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (9,26)G
C -->
END+ (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (9,26)G
C -->
END+ (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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)
(intruder)
Start --> (1,34)A
A -->
END
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)
*write?9[u,ack]
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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)
trace!32[d]
Start --> ExtA
A --> ExtA+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> (1,34)A
A -->
END
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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
cell!7[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (5,0)B
B -->
END+ (5,8)B
Start --> (1,34)A
A -->
END
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
cell!11[u]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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 --> (1,34)A
A -->
END
Start --> (1,34)A
A -->
END
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)
create!34[d]
Start -->
END
Start --> (1,34)A
A -->
END
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+ (9,0)C+ (17,0)E+ (21,0)B+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (1,22)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
(21,0) = (21,0)
(9,0) = (9,0)
(13,0) = (13,0)
(21,12) = (21,12)
Ext = Ext
(5,0) = (5,0)
(21,15) = (21,15)
(17,0) = (17,0)
(17,8) = (17,8)
(1,22) = (1,22) + 1
(21,19) = (21,19)
(13,8) = (13,8)
(5,8) = (5,8)
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)
(intruder)
Start --> (1,34)A
A -->
END
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)
*read?5[port]
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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)
trace!32[d]
Start --> ExtA
A --> ExtA+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> (1,34)A
A -->
END
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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
cell!7[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (5,0)B
B -->
END+ (5,8)B
Start --> (1,34)A
A -->
END
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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B -->
END
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (1,22)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
(21,0) = (21,0)
(9,0) = (9,0)
(13,0) = (13,0)
(21,12) = (21,12)
Ext = Ext
(5,0) = (5,0)
(21,15) = (21,15)
(17,0) = (17,0)
(17,8) = (17,8)
(1,22) = (1,22) + 1
(21,19) = (21,19)
(13,8) = (13,8)
(5,8) = (5,8)
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
cell!11[u]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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 --> (1,34)A
A -->
END
Start --> (1,34)A
A -->
END
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)
create!34[d]
Start -->
END
Start --> (1,34)A
A -->
END
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B --> (17,29)G
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E -->
END+ (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (13,24)G
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F -->
END+ (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (17,29)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E -->
END+ (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (13,24)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F -->
END+ (21,15)B
G -->
END
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
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)
(intruder)
Start --> (1,34)A
A -->
END
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)
m!24[ack1]
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (21,0)B+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (1,22)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
(21,0) = (21,0)
(9,0) = (9,0)
(13,0) = (13,0)
(21,12) = (21,12)
Ext = Ext
(5,0) = (5,0)
(21,15) = (21,15)
(17,0) = (17,0)
(17,8) = (17,8)
(1,22) = (1,22) + 1
(21,19) = (21,19)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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)
trace!32[d]
Start --> ExtA
A --> ExtA+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> (1,34)A
A -->
END
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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
cell!7[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (5,0)B
B -->
END+ (5,8)B
Start --> (1,34)A
A -->
END
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
cell!11[u]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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 --> (1,34)A
A -->
END
Start --> (1,34)A
A -->
END
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)
create!34[d]
Start -->
END
Start --> (1,34)A
A -->
END
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)
(intruder)
Start --> (1,34)A
A -->
END
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)
*unlock?17[ack]
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
Start --> ExtA+ (1,34)B
A --> ExtA+ (9,0)D+ (17,0)F+ (13,0)G+ (5,0)E+ (21,0)C
B -->
END
C --> (1,22)B
D --> (21,12)C
E --> (17,8)F+ (13,8)G+ (5,8)E
F --> (21,19)C
G --> (21,15)C
(1,34) = (1,34)
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(1,22) = (1,22)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
(17,8) = (17,8)
Ext = Ext
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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)
trace!32[d]
Start --> ExtA
A --> ExtA+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> (1,34)A
A -->
END
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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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)
cell!7[u]
Start --> ExtA
A --> ExtA+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> (1,34)A
A -->
END
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (1,22)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
(21,0) = (21,0)
(9,0) = (9,0)
(13,0) = (13,0)
(21,12) = (21,12)
Ext = Ext
(5,0) = (5,0)
(21,15) = (21,15)
(17,0) = (17,0)
(17,8) = (17,8)
(1,22) = (1,22) + 1
(21,19) = (21,19)
(13,8) = (13,8)
(5,8) = (5,8)
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)
port!8[u]
Start --> ExtA
A --> ExtA+ (5,0)B
B -->
END+ (5,8)B
Start --> (1,34)A
A -->
END
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
cell!11[u]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> (1,34)A
A -->
END
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
C -->
END
Start --> (1,34)A
A -->
END
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 --> (1,34)A
A -->
END
Start --> (1,34)A
A -->
END
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)
create!34[d]
Start -->
END
Start --> (1,34)A
A -->
END
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)
(intruder)
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
trace!32[d]
Start --> ExtA
A --> ExtA+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
ack!12[]
Start --> ExtA
A --> ExtA+ (9,0)B
B -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
ack!19[]
Start --> ExtA
A --> ExtA+ (17,0)C+ (5,0)B
B --> (17,8)C+ (5,8)B
C -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
ack!15[]
Start --> ExtA
A --> ExtA+ (13,0)C+ (5,0)B
B --> (13,8)C+ (5,8)B
C -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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+ (5,0)B
B -->
END+ (5,8)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
d!4[read,write,lock,unlock]
Start --> (1,34)A
A -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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)
create!34[d]
Start -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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+ (9,0)C+ (5,0)D+ (17,0)E+ (13,0)F+ (21,0)B
B --> (5,28)G
C --> (21,12)B
D -->
END+ (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (9,26)G
C -->
END+ (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
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+ (9,0)C+ (17,0)E+ (21,0)B+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B --> (1,22)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
(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+ (9,0)C+ (17,0)E+ (21,0)B+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (5,28)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
(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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B -->
END
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B -->
END
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (13,24)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
(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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B --> (9,26)G
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
(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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (17,0)E+ (21,0)B+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B --> (17,29)G
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
G -->
END
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
(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+ (9,0)C+ (5,0)D+ (17,0)E+ (21,0)B+ (13,0)F
B -->
END
C --> (21,12)B
D --> (5,8)D+ (17,8)E+ (13,8)F
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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+ (9,0)C+ (21,0)B+ (17,0)E+ (13,0)F+ (5,0)D
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
Start --> ExtA
A --> ExtA+ (9,0)C+ (17,0)E+ (13,0)F+ (5,0)D+ (21,0)B
B -->
END
C --> (21,12)B
D --> (17,8)E+ (13,8)F+ (5,8)D
E --> (21,19)B
F --> (21,15)B
(21,0) = (21,0)
(21,12) = (21,12)
(9,0) = (9,0)
(13,0) = (13,0)
(21,15) = (21,15)
(21,19) = (21,19)
(17,0) = (17,0)
Ext = Ext
(17,8) = (17,8)
(5,0) = (5,0)
(13,8) = (13,8)
(5,8) = (5,8)
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 : 2.46s
displaying: 0.03s
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.