Index of modules


O
Options

R
Reads
Computations of the statements that read a given memory zone.
Reads [Studia]
Computations of the statements that read a given memory zone.

S
Studia
Computations of the statements that write a given memory zone.
Studia_gui
kf_stmt_opt is used if we want to ask the lval to the user in a popup

W
Writes
Computations of the statements that write a given memory zone.
Writes [Studia]