package mopsa
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Core/index.html
Module Framework.Core
module Alarm : sig ... end
Alarms - issues found by the analyzer in a program
module All : sig ... end
module Ast : sig ... end
module Avalue : sig ... end
Abstract value representation
module Cache : sig ... end
Cache of post-conditions and evaluations
module Cases : sig ... end
Cases - data structure for case-based transfer functions.
module Change : sig ... end
Changes are used to log the statements executed during the computation of a post-state
module Context : sig ... end
Context - Storage for flow-insensitive information
module Eval : sig ... end
Eval - abstract evaluations of expressions
module Flow : sig ... end
Abstraction of control flows.
module Hook : sig ... end
Hooks are modules that can observe the execution of the transfer functions without modifying their output. They can be used however to enrich the analysis by adding information to the context.
module Id : sig ... end
Generators of identifiers for domains and values
module Lattice : sig ... end
Interface of lattice structures
module Manager : sig ... end
Manager - access to the top-level lattice and transfer functions
module Marker : sig ... end
Trace markers
module Path : sig ... end
Path of domains inside the abstraction DAG
module Post : sig ... end
Post - Post-states of statement execution.
module Print : sig ... end
Print - structured pretty-printing
module Query : sig ... end
Generic query mechanism for extracting information from domains.
module Route : sig ... end
Routes to select sub-trees of the abstraction when interpreting commands
module Token : sig ... end
Tokens identifying control flows
module Utils : sig ... end
Utility functions