package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val self : State.t
val find_in_scope : string -> Cil_types.syntactic_scope -> Cil_types.varinfo option

find_in_scope orig_name scope finds a variable from its orig_name, according to the syntactic scope in which it should be searched.

  • returns

    None if there are no variables orig_name in scope.

  • returns

    Some vi otherwise, with vi the varinfo associated to orig_name in scope according to C lookup rules.

  • since Chlorine-20180501
OCaml

Innovation. Community. Security.