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