Index of modules


C
Component [Components]
Components
Security component table: a security component is represented by the statement at which a security verification should occur.
Components
Searching security annotations

D
DirectHighlighterState [Register_gui]

F
ForwardHighlighterState [Register_gui]

I
IndirectBackwardHighlighterState [Register_gui]

M
M [Components.Component]
Make_HighlighterState [Register_gui]

N
NodeKf [Components]

P
P [Security_slicing_parameters]

R
Register_gui
Extension of the GUI for the security plugin.

S
Security_slicing_parameters
Security parameters
Slicing [Security_slicing_parameters]
Perform the security slicing pre-analysis.

T
Todolist [Components]