Index of modules


A
Action [Plugin.General_services]
Build a boolean option initialized fo false, that is not saved.

B
Bool [Plugin.General_services]

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]

E
EmptyString [Plugin.General_services]
Build a string option initialized to "".

F
False [Plugin.General_services]
Build a boolean option initialized to false.
ForwardHighlighterState [Register_gui]

I
IndexedVal [Plugin.General_services]
IndirectBackwardHighlighterState [Register_gui]
Int [Plugin.General_services]
Build an integer option.

M
M [Components.Component]
Make_HighlighterState [Register_gui]
Memo [Components]

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.
String [Plugin.General_services]
Build a string option.
StringHashtbl [Plugin.General_services]
StringList [Plugin.General_services]
Should not be used by casual users
StringSet [Plugin.General_services]
Build an option as a set of strings, initialized to the empty set.

T
Todolist [Components]
True [Plugin.General_services]
Build a boolean option initialized to true.

Z
Zero [Plugin.General_services]
Build an integer option initialized to 0.