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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A -->
END+ (5,2)B
B --> (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#a)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start -->
END
Start -->
END
main menu - control flow analysis - (#a)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start -->
END
Start -->
END
main menu - control flow analysis - (#a)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A --> (5,2)B
B -->
END+ (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#a)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A -->
END+ (5,2)B
B --> (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#b)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start -->
END
Start -->
END
main menu - control flow analysis - (#b)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start -->
END
Start -->
END
main menu - control flow analysis - (#b)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A --> (5,2)B
B -->
END+ (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#b)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A -->
END+ (5,2)B
B --> (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#c)
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)(#c)(#d)
(*a?1[x](x!2[a] + c?3[]e!4[])
|*b?5[x](x!6[b] + d!7[])
|a!8[b])
Start --> (1,8)A
A --> (5,2)B
B -->
END+ (1,6)A
Start -->
END
(1,8) + 1 = (1,8)
main menu - control flow analysis - (#d)
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)(#c)(#d)
(*a?1:1[x](x!2:[|0;1|][a] + c?3:[|0;1|][]e!4[])
|*b?5:1[x](x!6:[|0;1|][b] + d!7:[|0;1|][])
|a!8:[|0;1|][b])
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.
parsing : 0.s
analysis : 0.07s
displaying: 0.01s
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.