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.4.tbz
sha256=adea96efdb7611a688849491b363bcd5fc1e1fb8d6a937185560faefb42dd9cb
sha512=b8d8d835e9425cbbd59aeb06ce457e110cbd91c982d99c51e5a24bd5b7b9362f545db32c33ac6abc87a02015f29c8dc19e97ceb756ae1aefc659914f3598df19

doc/goblint-cil.syntacticsearch/Syntacticsearch/FuncFunction/index.html

Module Syntacticsearch.FuncFunctionSource

Sourceval is_equal_funname_funid : GoblintCil.varinfo -> Stdlib.String.t -> int -> bool
Sourceval delete_elem : Stdlib.String.t list -> Stdlib.String.t -> Stdlib.String.t list
Sourceval delete_duplicates : Stdlib.String.t list -> Stdlib.String.t list -> Stdlib.String.t list
Sourceval map_gfun : (GoblintCil.fundec -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
Sourceval find_all_with_origname : string -> string list
Sourceclass fun_find_returns : Stdlib.String.t -> int -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
Sourceval find_returns : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_returns_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceclass fun_find_sig : Stdlib.String.t -> int -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
Sourceval create_sig : GoblintCil.fundec -> GoblintCil.file -> string
Sourceval find_def : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_def_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_fundec : Stdlib.String.t -> int -> GoblintCil.global list -> GoblintCil.fundec option
Sourceclass fun_find_uses : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
Sourceval find_uses : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceclass fun_find_uses_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
Sourceval find_uses_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_fun_all : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval loc_default : GoblintCil.location
Sourceclass fun_find_usesvar_in_fun : GoblintCil.fundec -> Stdlib.String.t -> Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
Sourceval find_usesvar_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar_in_fun_all : Stdlib.String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar : Stdlib.String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval is_temporary : int -> bool
Sourceclass find_calls_with_tmp : (int * int) list Stdlib.ref -> Stdlib.String.t -> int -> GoblintCil.nopCilVisitor
Sourceval find_lval_of_calls : Stdlib.String.t -> int -> GoblintCil.file -> (int * int) list
Sourceval create_fun_res : Stdlib.String.t -> int -> GoblintCil.file -> GoblintCil.location -> string * GoblintCil.location * string * int
Sourceval find_uses_cond : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_cond_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_noncond : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_noncond_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceclass find_calls_usesvar_with_tmp : (int * int) list Stdlib.ref -> Stdlib.String.t -> int -> string -> GoblintCil.nopCilVisitor
Sourceval find_lval_of_calls_usesvar : Stdlib.String.t -> int -> string -> GoblintCil.file -> (int * int) list
Sourceval find_usesvar_cond : Stdlib.String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar_cond_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar_noncond : Stdlib.String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_usesvar_noncond_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) 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