package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Engines/Interactive/Interface/index.html
Module Interactive.Interface
Signature of interactive engine interfaces
type state = {
mutable depth : int;
(*Current depth of the interpretation tree
*)mutable command : command;
(*Last entered command
*)mutable command_depth : int;
(*Depth of the interpretation tree when the command was issued
*)mutable command_callstack : Mopsa_utils.Core.Callstack.callstack;
(*Callstack when the command was issued
*)mutable callstack : Mopsa_utils.Core.Callstack.callstack;
(*Current call-stack
*)mutable loc : Mopsa_utils.Core.Location.range option;
(*Last analyzed line of code
*)mutable locstack : Mopsa_utils.Core.Location.range option list;
(*Stack of lines of codes
*)mutable trace : Trace.trace;
(*Analysis trace
*)mutable call_preamble : bool;
(*Flag set when calling a function and reset when reaching its first loc
*)mutable alarms : Core.Alarm.AlarmSet.t;
(*Set of discovered alarms
*)
}
val init_state : state -> unit
val state : state
Global state
module type INTERFACE = functor (Toplevel : Toplevel.TOPLEVEL) -> sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>