package mopsa

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

Source file all.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
(****************************************************************************)
(*                                                                          *)
(* This file is part of MOPSA, a Modular Open Platform for Static Analysis. *)
(*                                                                          *)
(* Copyright (C) 2017-2019 The MOPSA Project.                               *)
(*                                                                          *)
(* This program is free software: you can redistribute it and/or modify     *)
(* it under the terms of the GNU Lesser General Public License as published *)
(* by the Free Software Foundation, either version 3 of the License, or     *)
(* (at your option) any later version.                                      *)
(*                                                                          *)
(* This program is distributed in the hope that it will be useful,          *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of           *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            *)
(* GNU Lesser General Public License for more details.                      *)
(*                                                                          *)
(* You should have received a copy of the GNU Lesser General Public License *)
(* along with this program.  If not, see <http://www.gnu.org/licenses/>.    *)
(*                                                                          *)
(****************************************************************************)

include Ast.Semantic
include Ast.Constant
include Ast.Expr
include Ast.Stmt
include Ast.Typ
include Ast.Program
include Ast.Frontend
include Ast.Operator
include Ast.Var
include Ast.Addr
include Ast.Visitor

include Alarm
module Alarm = Alarm

include Context
module Context = Context

module Cases = Cases

type 'r case = 'r Cases.case
type ('a,'r) cases = ('a,'r) Cases.cases

let bind = Cases.bind
let (>>=) = Cases.(>>=)

let bind_opt = Cases.bind_opt
let (>>=?) = Cases.(>>=?)

let bind_result = Cases.bind_result
let (>>$) = Cases.(>>$)

let bind_result_opt = Cases.bind_result_opt
let (>>$?) = Cases.(>>$?)

let bind_list = Cases.bind_list
let bind_list_opt = Cases.bind_list_opt

module Eval = Eval
type 'a eval = 'a Eval.eval

module Flow = Flow
type 'a flow = 'a Flow.flow

module Post = Post
type 'a post = 'a Post.post

let (>>%) = Post.(>>%)
let (>>%?) = Post.(>>%?)

module Path = Path
include Path

module Change = Change
include Change

include Query

include Token

include Ast.Semantic

include Route

include Lattice

include Id

include Manager

module Hook = Hook

include Print
module Print = Print

include Avalue

include Utils

include Marker

module Var =
struct
  type t = var
  let compare = compare_var
  let print prt v = pp_variable prt v
end
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