package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/OilParser/index.html

Module OilParser

type token =
  1. | RBRACK
  2. | LBRACK
  3. | RCURL
  4. | LCURL
  5. | SEMICOLON
  6. | COLON
  7. | COMMA
  8. | ASSIGN
  9. | DOTS
  10. | EOF
  11. | CPU
  12. | IMPLEMENTATION
  13. | OIL_VERSION
  14. | AUTO
  15. | NO_DEFAULT
  16. | WITH_AUTO
  17. | BOOLEAN
  18. | STRING
  19. | ENUM
  20. | FLOAT
  21. | INT64
  22. | UINT64
  23. | INT32
  24. | UINT32
  25. | OIL_STRING of string
  26. | NUMBER of int
  27. | OIL_FLOAT of float
  28. | OBJECT of string
  29. | OBJECT_TYPE of string
  30. | BOOL of bool
  31. | NAME of string
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string * string * OilUtil.param_t list) list
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