package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

dune-project

Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (3)

Authors

Maintainers

Sources

mopsa-analyzer-v1.2.tar.gz

md5=37966e98ffeebcedc09bd6e9b2b81f69

sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Partitioning/Int_var/Domain/index.html

Module `Int_var.Domain`

type v =

| Equal of Z.t
| Other

type t = v option

val name : string

val checks : 'a list

val opt_target_name : string ref

val opt_target_values : Z.t list ref

val opt_target_name_is_with_uid : bool ref

val opt_gc_state_partition : bool ref

val parse_option : string -> unit

val print : Format.formatter -> v option -> unit

val compare : v option -> v option -> int

val init : 'a option

val add : 'a -> 'b -> 'b

val is_target_var : MopsaLib.var -> bool

val sat : 
  ('a, 'b) MopsaLib.man ->
  ('a, 'c) Mopsa_analyzer.MopsaLib.Cases.cases ->
  bool

val exec_and_partition : 
  Framework.Core.Ast.Stmt.stmt ->
  Framework.Core.Ast.Var.var ->
  ('a, v option) MopsaLib.man ->
  'a Core.Flow.flow ->
  ('a, unit) Core.Cases.cases

val exec_and_remove : 
  Framework.Core.Ast.Stmt.stmt ->
  'a ->
  ('b, 'c option) MopsaLib.man ->
  'b Core.Flow.flow ->
  ('b, unit) Core.Cases.cases

val exec : 
  MopsaLib.stmt ->
  ('a, v option) MopsaLib.man ->
  'a Core.Flow.flow ->
  ('a, unit) Core.Cases.cases option

val eval : 'a -> 'b -> 'c -> 'd option

val ask : 'a -> 'b -> 'c -> 'd option