package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500
doc/combiner/Combiner/Stateless/CombinerToStateless/index.html
Module Stateless.CombinerToStatelessSource
Parameters
module T : STATELESS_COMBINERSignature
Domain header
*****************
val id : unit Core.All.idIdentifier of the domain
val checks : Core.All.check listList of checks performed by the domain
val init :
Core.All.program ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.post option**********************
Initialization routine
Source
val exec :
Core.All.stmt ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.post optionComputation of post-conditions
Source
val eval :
Core.All.expr ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.eval optionEvaluation of expressions
Source
val ask :
('a, 'r) Core.All.query ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
('a, 'r) Core.All.cases optionHandler of queries
Printing
************
Source
val print_expr :
('a, unit) Core.All.man ->
'a Core.All.flow ->
Core.All.printer ->
Core.All.expr ->
unitPrinter of an expression's value
On This Page