package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Constant_widening_thresholds.HookSource

Hook header

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

Sourceval name : string
Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Utility functions

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

Sourceval is_interesting_condition : Mopsa.expr -> bool

A condition is interesting if it is a comparison between numeric expressions

Sourceval constant_folding : Mopsa.expr -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa.ExprSet.t

Simple constant folding transformation. Variables that evaluate to singleton intervals are replaced with their value. Also, operations between constants are simplified.

module ThresholdSet : sig ... end
Sourceval find_vars_comparisons_in_expr : Ast.Expr.expr -> ThresholdSet.t

Events handlers

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

Sourceval init : 'a -> 'a
Sourceval loops : int Stdlib.ref
Sourceval on_before_exec : 'a -> Mopsa.stmt -> 'b -> 'c -> 'd option
Sourceval on_after_exec : 'a -> Mopsa.stmt -> ('b, 'c) Mopsa.man -> 'b Core.Flow.flow -> ('d, 'e) Mopsa.Cases.cases -> 'd Core.All.ctx option
Sourceval on_before_eval : 'a -> 'b -> 'c -> 'd -> 'e -> 'f option
Sourceval on_after_eval : 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g option
Sourceval on_finish : 'a -> 'b -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct