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

((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

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.





































































((# make)(# server)(# port)
(
 (*
make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
make!16[]))

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.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]
server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

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.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (
port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
port!13[] 
port!14[] 
port!15[] 
| make!16[]))

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.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*
address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

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.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,
request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

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.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  
deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

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.







































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> END+ (1,5)A

Start --> END

(1,16) + 1 = (1,16)

main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# server)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> END+ (6,3)C
C --> (2,12)B

Start --> END

(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# server)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
port!14[] 
| port!15[] 
| make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# port)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# port)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> END

(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# port)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> END

(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# port)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
port!15[] 
| make!16[]))

Start --> END

Start --> END


main menu - control flow analysis - (# port)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> END+ (6,3)C
C --> (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# address)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> END+ (1,5)A

Start --> (1,16)A
A --> END+ (1,5)A

(1,16) = (1,16)
(1,5) = (1,5)

main menu - control flow analysis - (# address)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> END+ (1,5)A

Start --> (1,16)A
A --> END+ (1,5)A

(1,16) = (1,16)
(1,5) = (1,5)

main menu - control flow analysis - (# address)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# address)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# address)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> END+ (6,3)C
C --> (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# request)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# request)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> END+ (1,5)A

(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)

main menu - control flow analysis - (# request)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

(1,5) = (1,5)
(1,16) = (1,16)
(2,4) = (2,4)
(2,12) = (2,12)
(6,3) = (6,3)

main menu - control flow analysis - (# deal)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































((# make)(# server)(# port)
(
 (*make?1[](# address)(# request)
        (
          (*address?2[]server!3[address,request]) 
        |
          address!4[]
        | 
          make!5[]
        ))

 | 
  (*server?6[email,data]
        (port?7[](# deal)(
                  deal!8[data]
                |
                  deal?9[rep]
                        (email!10[rep] | port!11[])
                )
        + 
          email!12[]
        ))
| port!13[] 
| port!14[] 
| port!15[] 
| make!16[]))

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C --> END+ (2,12)B

(1,5) = (1,5)
(1,16) = (1,16)
(2,4) = (2,4)
(2,12) = (2,12)
(6,3) = (6,3)

main menu - control flow analysis - (# deal)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.







































































occurrence counting analysis

((# make)(# server)(# port)
(
 (*make?1:1[](# address)(# request)
        (
          (*address?2:[|0;+oo|[[]server!3:[|0;+oo|[[address,request]
        |
          address!4:[|0;+oo|[[]
        | 
          make!5:[|0;1|][]
        ))

 | 
  (*server?6:1[email,data]
        (port?7:[|0;+oo|[[](# deal)(
                  deal!8:[|0;3|][data]
                |
                  deal?9:[|0;3|][rep]
                        (email!10:[|0;+oo|[[rep] | port!11:[|0;3|][])
                )
        + 
          email!12:[|0;+oo|[[]
        ))
| port!13:[|0;1|][] 
| port!14:[|0;1|][] 
| port!15:[|0;1|][] 
| make!16:[|0;1|][]))

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.








































































log

parsing : 0.s
analysis : 0.86s
displaying: 0.04s

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.