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
Datatype [Components.NodeKf]
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.

L
Lattice
annotations2state dft l returns the state corresponding to the given annotations.

M
M [Components.Component]
Make_HighlighterState [Register_gui]
Medium [Lattice]
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.
Strong [Lattice]

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

W
Weak [Lattice]

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