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.





































































control flow analysis

(intruder)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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)
(#a)(#b)(#x)
(*x?1[z]((#t)z!2[t]t!3[z])
|*repli?4[]x!5[a]
|*repli?6[]x!7[b]
|*a?8[i]i?9[j]trace!10[j])

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.








































































log

parsing : 0.s
analysis : 0.s
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.