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/goblint-cil.syntacticsearch/Syntacticsearch/FuncVar/index.html

Module Syntacticsearch.FuncVarSource

Sourceval is_equal_varname_varid : GoblintCil.varinfo -> String.t -> int -> bool
Sourceval delete_elem : String.t list -> String.t -> String.t list
Sourceval delete_duplicates : 'a list -> ('a, int) Hashtbl.t -> 'a list
Sourceval map_gfun : (GoblintCil.fundec -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
Sourceval map_gvar : (GoblintCil.varinfo -> GoblintCil.initinfo -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
Sourceval is_temporary : int -> bool
Sourceval generate_func_loc_table : GoblintCil.file -> (string * int) list
Sourceval generate_globalvar_list : GoblintCil.file -> string list
Sourceval get_all_alphaconverted_in_fun : String.t -> String.t -> GoblintCil.file -> String.t list
Sourceclass var_search_in_expr : String.t -> int -> 'a -> (string * 'a * string * int) list ref -> bool -> GoblintCil.nopCilVisitor
Sourceval search_expression : GoblintCil.exp -> String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
Sourceval search_lhost : GoblintCil.lhost -> String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
Sourceval search_offset : GoblintCil.offset -> String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
Sourceval search_expression_list : GoblintCil.exp list -> String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
Sourceval search_instr_list_for_var : GoblintCil.instr list -> String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
Sourceval search_stmt_list_for_var : GoblintCil.stmt list -> String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_fun_var : GoblintCil.fundec -> String.t -> int -> bool -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_fun_find_fun : GoblintCil.global list -> String.t -> String.t -> int -> bool -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_fun : String.t -> int -> String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_all_glob_vars : GoblintCil.global list -> int list
Sourceval find_uses_in_fun_all_glob : String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_fundec : GoblintCil.global list -> String.t -> GoblintCil.fundec option
Sourceval find_uses_in_fun_all : String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_var_in_globals : String.t -> int -> GoblintCil.global list -> (string * GoblintCil.location * string * int) list
Sourceval find_uses : String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval cond_search_uses_stmt_list : GoblintCil.stmt list -> String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond_in_fun : String.t -> int -> String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond : String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond_in_fun_all_glob : String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond_in_fun_all : String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_cond_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval remove_result : 'a list -> 'a -> 'a list
Sourceval find_uses_in_noncond : String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_noncond_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_uses_in_noncond_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
Sourceval find_decl_in_fun : String.t -> int -> String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_decl_in_fun_all : String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_decl_all_glob : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_decl : String.t -> int -> GoblintCil.file -> (String.t * GoblintCil.location * string * int) list
Sourceval find_decl_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceclass var_find_def_in_fun : String.t -> int -> String.t -> (string * GoblintCil.location * string * int) list ref -> GoblintCil.nopCilVisitor
Sourceval find_defs_in_fun : String.t -> int -> String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_defs_in_fun_all_glob : String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_defs_in_fun_all : String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_defs : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_defs_all_glob : GoblintCil.file -> (string * GoblintCil.location * string * int) list
Sourceval find_defs_all : 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