main menu

control flow analysis
occurrence counting analysis
log
help
new analysis
home page

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)
((# mon)(# left0)
(
(*make?¹[left](# right)
        (mon!²[left,right] | make!³[right]))
|
(*make?⁴[left]
        mon!⁵[left,left0])
|
make!⁶[left0]
|
(*mon?⁷[prev,next]
        (*prev?⁸[](# crit)
                (crit!⁹[] | (crit?¹⁰[]next!¹¹[]))
        ))
| left0!¹²[]
))

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)
((# mon)(# left0)
(
(*make?¹[left](# right)
        (mon!²[left,right] | make!³[right]))
|
(*make?⁴[left]
        mon!⁵[left,left0])
|
make!⁶[left0]
|
(*mon?⁷[prev,next]
        (*prev?⁸[](# crit)
                (crit!⁹[] | (crit?¹⁰[]next!¹¹[]))
        ))
| left0!¹²[]
))

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.

Start --> ExtA
A --> ExtA+ (4,0)B+ (1,0)C
B --> (7,5)D
C --> (7,2)D
D --> END

main menu - control flow analysis - intruder

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

Start --> ExtA
A --> ExtA+ (1,0)B
B --> END

main menu - control flow analysis - intruder

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - intruder

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

Start --> ExtA
A --> ExtA+ (4,0)B
B --> END

main menu - control flow analysis - intruder

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

Start --> END

main menu - control flow analysis - intruder

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

Start --> END

main menu - control flow analysis - intruder

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

Start --> END

main menu - control flow analysis - intruder

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

Start --> END

main menu - control flow analysis - (# mon)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

Start --> END

main menu - control flow analysis - (# mon)

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

Start --> ExtA+ (1,6)B+ (4,6)C
A --> ExtA+ (1,0)B+ (4,0)C
B --> (1,3)B+ (4,3)C
C --> END

Start --> END

main menu - control flow analysis - (# mon)

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

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (8,12)B
A --> ExtA+ (8,0)B
B --> END+ (8,11)B

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (4,6)C+ (1,6)B
A --> ExtA+ (4,0)C+ (1,0)B
B --> (7,2)D
C --> (7,5)D
D --> END

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (4,6)B
A --> ExtA+ (4,0)B
B --> END

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (1,6)B+ (4,6)C
A --> ExtA+ (1,0)B+ (4,0)C
B --> (1,3)B+ (4,3)C
C --> END

Start --> END

main menu - control flow analysis - (# left0)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)C
B --> (1,3)C
C --> END+ (1,3)C

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

Ext = Ext
(1,6) = (1,6)
(1,0) = (1,0)
(1,3) = (1,3)

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

Ext = Ext
(1,6) = (1,6)
(1,0) = (1,0)
(1,3) = (1,3)

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (8,12)B
A --> ExtA+ (8,0)B
B --> END+ (8,11)B

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (4,0)C+ (1,0)D
B --> (4,3)C+ (1,3)D
C --> (7,5)E
D --> (4,3)C+ (1,3)D+ (7,2)E
E --> END

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (1,6)B
A --> ExtA+ (4,0)C+ (1,0)B
B --> (4,3)C+ (1,3)B
C --> END

Start --> ExtA+ (1,6)B
A --> ExtA+ (1,0)B
B --> END+ (1,3)B

main menu - control flow analysis - (# right)

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

Start --> ExtA+ (8,12)B
A --> ExtA+ (8,0)B
B --> END+ (8,11)B

Ext = Ext
(8,0) = (8,0)
(8,12) = (8,12)
(8,11) = (8,11)

main menu - control flow analysis - (# crit)

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

Start --> ExtA+ (8,12)B
A --> ExtA+ (8,0)B
B --> END+ (8,11)B

Ext = Ext
(8,0) = (8,0)
(8,12) = (8,12)
(8,11) = (8,11)

main menu - control flow analysis - (# crit)

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

(intruder)
((# mon)(# left0)
(
(*make?^1:1[left](# right)
        (mon!^2:[|0;+oo|[[left,right] | make!^3:[|0;+oo|[[right]))
|
(*make?^4:1[left]
        mon!^5:[|0;+oo|[[left,left0])
|
make!^6:[|0;1|][left0]
|
(*mon?^7:1[prev,next]
        (*prev?^8:[|0;+oo|[[](# crit)
                (crit!^9:[|0;+oo|[[] | (crit?^10:[|0;+oo|[[]next!^11:[|0;+oo|[[]))
        ))
| left0!^12:[|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.4s
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.