package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file varQuery.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
open GoblintCil

type t =
  | Global of CilType.Varinfo.t
  | Node of {node: Node.t; fundec: CilType.Fundec.t option}
[@@deriving ord]

type 'v f = 'v -> unit

let varinfo_from_global (g : Cil.global) : Cil.varinfo option = match g with
  | GFun (f, _) -> Some f.svar
  | GVar (v, _, _) -> Some v
  | GVarDecl (v, _) -> Some v
  | _ -> None

let varquery_from_global (g : Cil.global) : t option = match g with
  | GFun (f, _) -> Some (Node {node = FunctionEntry f; fundec = Some f})
  | GVar (v, _, _) -> Some (Global v)
  | GVarDecl (v, _) -> Some (Global v)
  | _ -> None

let varqueries_from_names (file: Cil.file) (names: string list): t list * string list =
  let module SM = Set.Make(Printable.Strings) in
  let set = SM.of_list names in

  (* Find list of [Cil.global]s that have one of the queried names, and a set of the found names *)
  let globals, matched =
    Cil.foldGlobals file (fun ((globs, matched) as acc) g ->
        match varinfo_from_global g, varquery_from_global g with
        | Some v, Some vq ->
          begin match SM.mem v.vname set  with
            | true -> (vq::globs, SM.add v.vname matched)
            | _ -> acc
          end
        | None, None -> acc
        | _, _ -> assert false
      ) ([], SM.empty) in
  (* List of queried but not found names *)
  let unmatched = List.filter (fun s -> not @@ SM.mem s matched) names in
  globals, unmatched
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