package goblint-cil

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

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

  1. G
    George Necula
  2. S
    Scott McPeak
  3. W
    Westley Weimer
  4. G
    Gabriel Kerneis
  5. R
    Ralf Vogler
  6. M
    Michael Schwarz
  7. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>

Sources

goblint-cil-2.0.1.tbz
sha256=5f81cb3f25c09770e77b5eb4092e6621e456122b6d1219dcc304c062075f9572
sha512=31bb753031e0ef321a2ef065373009270881b1cce7f23167b378845188aed9cb49f18a165edd2e11f751f2c7a7b84ab5ac1da50ba1f5cb975e6e8a97157838ed

doc/index.html

goblint-cil

API

Library goblint-cil

Library goblint-cil.dataslicing

Library goblint-cil.liveness

Library goblint-cil.makecfg

Library goblint-cil.pta

Library goblint-cil.syntacticsearch

Library goblint-cil.zrapp

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