package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

val var_replace_original_name : 
  Cilfacade.VarinfoH.key ->
  Cilfacade.VarinfoH.key

class exp_replace_original_name_visitor : object ... end

val exp_replace_original_name : Cil.exp -> Cil.exp

val var_is_in_scope : CilType.Fundec.t -> Cilfacade.VarinfoH.key -> bool

class exp_is_in_scope_visitor : Cil.fundec -> bool ref -> object ... end

val exp_is_in_scope : Cil.fundec -> Cil.exp -> bool

val tmp_var_regexp : Str.regexp

val var_is_tmp : Cilfacade.VarinfoH.key -> bool

val exp_contains_tmp : Cil.exp -> bool

val var_is_heap : Cil.varinfo -> bool