package goblint-cil

  1. Overview
  2. Docs
A front-end for the C programming language that facilitates program analysis and transformation.

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-cil-1.7.3.tar.gz
sha256=e912d04387532d44e752463b73c6fe575091eb119b6d75aa6103f243c18a542e
md5=77b8d863893215275e6b8f7f0e055e3e

Description

This is a fork of the 'cil' package needed to build 'goblint'. Changes:

  • some warnings are made optional
  • truncated integer constants have a string representation
  • compiles with OCaml 4.06.0

Published: 02 Dec 2017

Dependencies (5)

  1. conf-perl build
  2. num build
  3. ocamlbuild build
  4. ocamlfind
  5. ocaml >= "4.02.3" & < "5.0"

Dev Dependencies (1)

  1. hevea build & with-doc

Used by (2)

  1. goblint < "1.1.1"
  2. lintcstubs

Conflicts (1)

  1. cil
OCaml

Innovation. Community. Security.