package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install 

dune-project
 Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (3)

Authors

  1. A
    Antoine Miné
  2. A
    Abdelraouf Ouadjaout
  3. M
    Matthieu Journault
  4. A
    Aymeric Fromherz
  5. R
    Raphaël Monat
  6. F
    Francesco Parolini
  7. M
    Marco Milanese
  8. J
    Jérôme Boillot

Maintainers

  1. A
    Antoine Miné <antoine.mine@lip6.fr>
  2. A
    Abdelraouf Ouadjaout <ouadjaout@gmail.com>
  3. R
    Raphaël Monat <raphael.monat@inria.fr>

Sources

mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Engines/Interactive/Terminal/Make/index.html

Module Terminal.Make

Parameters

Signature

val opt_show_var_scope : bool ref
type terminal_command_kind =
  1. | Break of string
    (*

    Add a breakpoint

    *)
  2. | Continue
    (*

    Stop at next breakpoint

    *)
  3. | MopsaBackTrace
    (*

    Returns the current backtrace of Mopsa

    *)
  4. | Next
    (*

    Stop at next statement and skip function calls

    *)
  5. | Step
    (*

    Step into function calls

    *)
  6. | Finish
    (*

    Finish current function

    *)
  7. | NextI
    (*

    Stop at next statement and skip nodes in the interpretation sub-tree

    *)
  8. | StepI
    (*

    Step into interpretation sub-tree

    *)
  9. | Print of (string * string option) list * (string * int) option
    (*

    Print the abstract state or the value of variables

    *)
  10. | Env of string list
    (*

    Print the current abstract environment, associated to token T_cur, eventually projected on a list of domains

    *)
  11. | State
    (*

    Print the current abstract state

    *)
  12. | Where
    (*

    Show current program point

    *)
  13. | Info of info_command
    (*

    Print extra information

    *)
  14. | Enable of enable_command
    (*

    Enable an option

    *)
  15. | Disable of enable_command
    (*

    Disable an option

    *)
  16. | Set of set_command * string
    (*

    Set an option

    *)
  17. | Unset of set_command
    (*

    Unset an option

    *)
  18. | BackTrace
    (*

    Print the callstack

    *)
  19. | LoadScript of string
  20. | Trace
  21. | Backward

Commands

and info_command =
  1. | Alarms
  2. | Breakpoints
  3. | Tokens
  4. | Variables
  5. | Context

Information sub-commands

and enable_command =
  1. | Hook of string

Enable/Disable sub-commands

and set_command =
  1. | Debug
  2. | Script
  3. | ShowVarScope

Set/Unset sub-commands

type terminal_command_redirection =
  1. | Pipe of string
  2. | File of string
type terminal_command = {
  1. kind : terminal_command_kind;
    (*

    Optional flag

    *)
  2. redirection : terminal_command_redirection option;
}

Commands

val pp_terminal_command_kind : Format.formatter -> terminal_command_kind -> unit

Print a command

val pp_terminal_command_redirection : Format.formatter -> terminal_command_redirection -> unit
val pp_terminal_command : Format.formatter -> terminal_command -> unit
val print_usage : unit -> unit

Print help message

val print_prompt : unit -> unit

Print input prompt

Context of LineEdit library

val last_prompt_commands : string list ref

Reference to the last commands read from the prompt

val commands_buffer : string Queue.t

Buffer of upcoming commands to execute

val script : out_channel option ref
val read_terminal_command_string : unit -> string
exception ReadNewCommand
val parse_command_kind : string -> 'a Core.Flow.flow -> terminal_command_kind
val parse_command_redirection : string -> string * terminal_command_redirection option
val read_terminal_command : (string -> 'a) -> 'b Core.Flow.flow -> terminal_command

Read the next command

Pretty printers

*******************

module Addr : sig ... end
module AddrSet : sig ... end

Print value of variables

val init : unit -> unit
val reach : Action.action -> 'a -> 'b -> unit
val pp_alarms : Format.formatter -> Core.Alarm.alarm list -> unit
val alarm : Core.Alarm.alarm list -> 'a -> 'b -> 'c -> unit
val logger : string -> unit
val pp_output_command : Action.action -> 'a Envdb.envdb -> ('a, 'b) Core.All.man -> 'a Core.Flow.flow -> Format.formatter -> terminal_command_kind -> unit
val process_output_command : terminal_command -> Action.action -> 'a Envdb.envdb -> ('a, 'b) Core.All.man -> 'a Core.Flow.flow -> unit
val read_command : Action.action -> 'a Envdb.envdb -> ('a, 'a) Core.Manager.man -> 'a Core.Flow.flow -> Interface.command
val finish : 'a -> 'b -> unit
val error : exn -> unit