Inspection
The following commands are useful to inspect the state of the interpreter:
print <var>
Print the value of a variable.
env
Print the current abstract environment.
state
Print the full abstract state (map from flow tokens to environment)
state > <file>
Save the current abstract environment in
<file>
.backtrace
Print the current callstack.
mopsa_bt
Print the callstack of Mopsa
info alarms
Print the list of raised alarms.
info tokens
Print the list of flow tokens.
info breakpoints
Print the list of breakpoints.