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