package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Compute symbolic boundaries of a quantified offset.

val is_aligned : Mopsa.expr -> Z.t -> ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> bool

is_aligned o n man flow checks whether the value of an expression o is aligned w.r.t. size sz

Compute symbolic boundaries of offset / den

OCaml

Innovation. Community. Security.