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/C/Iterators/Switch/Domain/index.html

Module `Switch.Domain`

Domain header

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

include sig ... end

val id : unit Mopsa_analyzer__Framework__Core__Id.id

val name : string

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a

val checks : 'a list

Initialization

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

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

Token for cases flows

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

type MopsaLib.token +=

| T_c_switch_case of MopsaLib.expr * MopsaLib.range

type MopsaLib.token +=

| T_c_switch_default of MopsaLib.range

val get_cases : 
  Framework.Core.Ast.Stmt.stmt ->
  (MopsaLib.expr * Mopsa_utils.Core.Location.range) list
  * Mopsa_utils.Core.Location.range option

Get the locations and expressions of cases in a switch statements. Cases are ordered similarly to their occurance locations in the source code.

Computation of post-conditions

==============================

val exec_switch : 
  MopsaLib.expr ->
  MopsaLib.expr ->
  Framework.Core.Ast.Stmt.stmt ->
  Framework.Core.Ast.Stmt.stmt ->
  MopsaLib.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  ('a, unit) Core.Cases.cases

𝕊⟦ switch (e) body ⟧

val exec_case : 
  Lang.Ast.c_scope_update ->
  MopsaLib.expr ->
  MopsaLib.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Post.post

val exec_default : 
  Lang.Ast.c_scope_update ->
  MopsaLib.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Post.post

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

Evaluation of expressions

=========================

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

Answer to queries

=================

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

Pretty printer

==============

val print_expr : 'a -> 'b -> 'c -> 'd -> unit

On This Page

Domain header
Initialization
Token for cases flows