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 Edit opam file Versions (11)

Authors

  1. G
    gabriel@kerneis.info

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-cil-1.8.2.tbz
sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89
sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2

doc/goblint-cil.syntacticsearch/FuncVar/index.html

Module FuncVar

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