package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

Dune Dependency

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/src/parsing/parsing.ml.html

Source file parsing.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Parsing.Ast *)
module Ast = Parsing__Ast

(** @canonical Parsing.Cst *)
module Cst = Parsing__Cst

(** @canonical Parsing.Lexer *)
module Lexer = Parsing__Lexer

(** @canonical Parsing.Parser *)
module Parser = Parsing__Parser
OCaml

Innovation. Community. Security.