package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4
doc/combiner/Combiner/Domain/StandardToStacked/index.html
Module Domain.StandardToStackedSource
Parameters
module D : DOMAIN_COMBINERSignature
include Abstraction.Stacked.STACKED with type t = D.t
Domain header
*****************
type t = D.tType of an abstract elements.
val id : t Core.All.idDomain identifier
val checks : Core.All.check listList of checks performed by the domain
val bottom : tLeast abstract element of the lattice.
val top : tGreatest abstract element of the lattice.
val is_bottom : t -> boolis_bottom a tests whether a is bottom or not.
Lattice operators
*********************
Source
val subset :
('a, t) Core.All.man ->
'a Core.All.ctx ->
(t * 'a) ->
(t * 'a) ->
bool * 'a * 'aSource
val widen :
('a, t) Core.All.man ->
'a Core.All.ctx ->
(t * 'a) ->
(t * 'a) ->
t * 'a * 'a * boolTransfer functions
**********************
val init :
Core.All.program ->
('a, t) Core.All.man ->
'a Core.All.flow ->
'a Core.All.flowInitialization function
Printing
************
val domains : Core.All.DomainSet.tval semantics : Core.All.SemanticSet.tval routing_table : Core.All.routing_tableval merge : t -> (t * Core.All.teffect) -> (t * Core.All.teffect) -> tval exec :
Core.All.DomainSet.t option ->
Core.All.stmt ->
('a, t) Core.All.man ->
'a Core.All.flow ->
'a Core.All.post optionval eval :
Core.All.DomainSet.t option ->
Core.All.expr ->
('a, t) Core.All.man ->
'a Core.All.flow ->
'a Core.All.eval optionval ask :
Core.All.DomainSet.t option ->
('a, 'r) Core.All.query ->
('a, t) Core.All.man ->
'a Core.All.flow ->
('a, 'r) Core.All.cases optionval print_state : Core.All.DomainSet.t option -> Core.All.printer -> t -> unitval print_expr :
Core.All.DomainSet.t option ->
('a, t) Core.All.man ->
'a Core.All.flow ->
Core.All.printer ->
Core.All.expr ->
unitOn This Page