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/Sig/Abstraction/Simplified_value/index.html
Module Abstraction.Simplified_value
Simplified signature of a value abstraction.
Value domain
module type SIMPLIFIED_VALUE = sig ... end
val default_backward_unop :
Core.All.operator ->
Core.All.typ ->
't ->
Core.All.typ ->
't ->
't
Some default transfer functions
val default_backward_binop :
Core.All.operator ->
Core.All.typ ->
't ->
Core.All.typ ->
't ->
Core.All.typ ->
't ->
't * 't
val default_filter : bool -> Core.All.typ -> 't -> 't
val default_compare :
Core.All.operator ->
bool ->
Core.All.typ ->
't ->
Core.All.typ ->
't ->
't * 't
module DefaultValueFunctions : sig ... end
Template module with default transfer functions
module MakeValue
(V : SIMPLIFIED_VALUE) :
Sig.Abstraction.Value.VALUE with type t = V.t
Functor to create a value abstraction from a simplified value abstraction
Registration
val register_simplified_value_abstraction : (module SIMPLIFIED_VALUE) -> unit
Register a new simplifed value domain
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page