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])
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.
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.